Submit an Educational Link About Studysphere Educational Portal Contact StudySphere Educational Portal Educational Discussions Studysphere Educational Portal
Learning Resources for Students, Families and Teachers Search over 100,000 research quality URLs

StudySphere provides fast, easy and free access to a wide variety of research-quality child-safe websites organized for education online from home, school, study abroad and home school. StudySphere’s goal is to help students, teachers, librarians, and other researchers find both highly targeted and closely related information quickly.

Artificial Intelligence
/Home/Technology/Computer Science/Future of Computing/Artificial Intelligence

Rehabilitation Robotics Research Program

Votes:0
The rehabilitation robotics research program at the AppliedScience and Engineering Laboratories (ASEL) consists of a collectionof research projects to aid persons with manipulation disabilities. Thediverse range of projects in this program focus on interactions betweenthe human, the tool, and the environment. The Rehabilitation Robotics ResearchProgram also hosts the Rehabilitation EngineeringResearch Center on Rehabilitation Robotics . About Us Overview | Support | The labs | People | Directions Projects Research | Application | Design Information and Outreach ASEL Technical Reports | Rehabilitation Robotics Newsletter | Upcoming Events | Resources andRelated Links | Search this site | Awards and the Press Robotics Internal Pages URL of this document: http://www.asel.udel.edu/robot Read More
Go to Site

The Hebrew University - School of Computer Science andEngineering - The Machine Learning Lab

 Votes:0
The Hebrew University - School of Computer Science and Engineering - The Machine Learning Lab The Hebrew University - School of Computer Science and Engineering . The Machine Learning Lab Contents: The "goals" of this lab See also the Computational biology lab Who are we? Selected publications Complete theses Journals, conferences, and other goodies... The lab's computers' list and usage policy People Faculty members: Nir Friedman Yoram Singer Eli Shamir Tali Tishby Yair Weiss (from Oct. 2001) Research students: Gill Bejerano Main subject : Machine Learning, Applications in Computational Biology. Advisors: Hanah Margalit and Tali Tishby jill@cs.huji.ac.il Koby Crammer Main subject : Computational Learning Theory, On-line, Kernel Machines, SVM. Advisor: Yoram Singer kobics@cs.huji.ac.il Gal Read More
Go to Site

McGill Centre for Intelligent Machines

Votes:0
Skip to content. Skip to navigation The quicksearch box, normally placed at the top right Plone celebrating 20 years of research excellence Site-wide actions (Contact, Sitemap, Help, Style Switcher etc) The personal bar. (log in, logout etc...) --> The SOCS site pull-down menus. CIM Menus Site Overview breadcrumbs : here/absolute_url : request/url : CONTEXTS['template'].title: CONTEXTS['template'].id: ... title= ... title_or_id= ... id = ... meta_type = --> You are here: CIM Document actions (print, sendto etc) Title or id Get the byline - contains details about author and modification date. Description Centre for Intelligent Machines The Centre for Intelligent Machines is an inter-departmental inter-faculty research group which was formed to facilitate and promote research on intelligent Read More
Go to Site

A redirect to the new KEMLg site

Votes:0
Knowledge Engineering & Machine Learning Group Please update your bookmarks to http://www.lsi.upc.es/~webia/KEMLG/ You will automatically be re-directed there in 6 seconds ... Read More
Go to Site

Centre for Artificial Intelligence and Robotics

Votes:0
If you are not re-directed to the website within 5 sec, please click here CAIR Read More
Go to Site

CHACS Home Page

Votes:0
W elcome to the Home Page of the Center for High Assurance Computer Systems, a branch within the Information Technology Division of the Naval Research Laboratory Organization Publications Calls for Papers Books TCCP STP-11 Secure Information Systems IEEE TC on Security and Privacy High Assurance Workshop Reports Related Web Servers Other Servers END DELETED --> The Center for High Assurance Computing Systems conducts interdisciplinary research and development in techniques for processing and communicating data that preserve critical system properties, such as security, safety, availability, and timely delivery of computational results. Improved formal methods for analyzing and developing software and hardware systems are a primary research focus: such methods can support more precise and a Read More
Go to Site

Frequently asked questions about Bayesian methods for neural networks

Votes:0
Bayesian methods for neural networks - FAQ. compiled by David J.C. MacKay For a review paper on Bayesian methods for neural networks, please see my publications page, in particular the papers `Bayesian Interpolation' and `A Practical Bayesian Framework for Backpropagation Networks' and `Probable Networks and Plausible Predictions' . Most of these FAQs are from people who have read those papers and wanted clarification or further information. If the answer to your question is not here in the FAQ, please proceed to the Bayesian Methods automated FAQ service ; for other MacKay group FAQs, click here . Related links You may also be interested in Radford's description of the philosophy of Bayesian inference and the giant comp.ai.neural-nets FAQ for which Radford Neal has written a page on Bayes Read More
Go to Site

IRAFM Home Page

Votes:0
Institute for Research and Applications of Fuzzy Modeling University of Ostrava, Czech Republic Mail address: 30. dubna 22, 701 03 Ostrava 1, Czech Republic Fax: ++420-59-6120 478 (for e-mail addresses and personal telephone numbers follow link Staff ) IRAFM About the Institute Staff Projects LFLC software New demo of LFLC2000 available. Seminar on Fuzzy Modeling Events News Main current projects: Research plan MSM 6198898701 "Logical and algebraical methods for precessing of information under uncertainty and their applications in fuzzy modeling" Research center 1M6798555601 "Data - Algorithms - - Decision making" Papers and publications Research reports Technical reports IRAFM publications Papers available for download Other links Links to various resources Internal matters Article databa Read More
Go to Site

Knowledge Interchange Format (KIF)

 Votes:0
Knowledge Interchange Format (KIF) ANSI KIF draft proposed American National Standard Model Theoretic Semantics in TeX ANSI KIF Ad Hoc Group and Mailing List Members Michael R. Genesereth Read More
Go to Site

Publications of the UW ML Research Group

Votes:0
This page contains relevant information about publications by the members of the Machine Learning Research Group (MLRG) at the University of Wisconsin - Madison. Journal Articles Conference Papers Book Chapters Workshop Papers Tech Reports M.S. Theses PhD Theses Bibtex file Journal Articles F. DiMaio, D. Kondrashov, E. Bitto, A. Soni, C. Bingman, G. Phillips & J. Shavlik (2007). Creating Protein Models from Electron-Density Maps using Particle-Filtering Methods . Bioinformatics . doi: 10.1093/bioinformatics/btm480 Code . Data . Abstract . F. DiMaio, J. Shavlik & G. Phillips (2006). A Probabilistic Approach to Protein Backbone Tracing in Electron Density Maps . Bioinformatics, Special Issue Based on the Papers Presented at the Fourteenth International Conference on Intelligent Systems for M Read More
Go to Site

Radford Neal's Home Page

Votes:0
Radford M. Neal Professor, Dept. of Statistics and Dept. of Computer Science, University of Toronto I'm currently highlighting the following: Slides from a talk (remotely) at the PHYSTAT-LHC Workshop , on `Nuisance Parameters and Other Issues in Searching for Signals in High-Energy Physics Experiments'', June 2007: Postscript , PDF . Slides from a talk at the Third Workshop on Monte Carlo Methods on ``Short-Cut MCMC: An Alternative to Adaptation'', May 2007: Postscript , PDF . Teaching: I won't be teaching in the 2007/2008 academic year, but you can find information on courses I've taught in the past . You can also get to information on: Research interests (with pointers to publications) Current and former graduate students Current and former postdocs Curriculum Vitae: PostScript , or PDF Read More
Go to Site

Software Agents - Chap 5 of my SM Thesis

 Votes:0
Next: What's an Agent? Jump: The SodaBot Home Page Software Agents (Chap 5 of my SM Thesis) This thesis has so far presented a specific view of what software agents are and how they should be used. However, software agents come in many flavors, and they differ widely in terms of specialization, usefulness, and theoretical motivation. This chapter discusses related work in the field and then outlines the common ties that link even vastly dissimilar agent implementations. We simultaneously discuss how SodaBot relates to and differs from other work in the field. Section 5.3 presents our motivation for designing the SodaBot system based on experience described in [Kautz et al. , 1994] What's an Agent? Software agents are on-line pseudo-people Software agents are a testbed for other realms in C Read More
Go to Site

Systematic Program Development Group

Votes:0
Systematic Program Development Group The Systematic Program Development Group (SPD) was a research group in the MIT Laboratory for Computer Science. In the Fall of 1996, it merged with the Telemedia Networks and Systems (TNS) group to form the Software Devices and Systems group, which became the Networks and Mobile Systems (NMS) group in March 2000. Much of SPD's work centered around the Larch project, the aim of which was to facilitate the timely development of high-quality software and hardware through the practical application of formal methods. Old SPD Pages Group members Publications Sponsors Other Pages Larch Networks and Mobile Systems MIT Laboratory for Computer Science Last modified, January 11, 2001 Read More
Go to Site

AAI / AI-ED Report Archive

 Votes:0
Applied AI/AI in Education Technical Report Archive The AAI/AI-ED Group produced a series of Technical Reports, some of which are available electronically (in compressed postscript) from the Departmental FTP server. Technical Report List: Note: Reports can only be read on-line if you have an external postscript viewer. 126 : Akhras, F.N. and Self, J.A. (1995). A Process-Oriented Perspective on Analysing Learner-Environment Interactions in Constructivist Learning , in: Proceedings of the 6th Brazilian Symposium on Computing in Education , Florianopolis, Brazil, SBC, 1995. 125 : Lennard, A. and Parkes, A.P. (1995). OASIS - The Omnipresent Adaptively Supportive Intelligent System 124 : Parkes, A.P. (1995) Theoretical Aspects of Representation in Hypermedia Learning Environments , in F. Perciv Read More
Go to Site

AAI Group

 Votes:0
Liverpool John Moores University visitors | students | staff | business | research and expertise | accessibility | help | site map Search The site Search Liverpool John Moores University Faculty of Technology and Environment Home > Faculty of Technology and Environment > School of Computing > Group Leader: Professor Gerry Kelleher Overview At Liverpool John Moores University, the AAI Group applies new technologies to a range of problems. The group has internationally recognised expertise in the development of advance computer-based systems for scheduling, planning, training, Petri net modelling, intelligent robot control with application to job shop, flow shop systems and flexible manufacturing systems. A central theme of the groups work is knowledge leverage - the provision of to Read More
Go to Site

Abstract State Machines

 Votes:0
Abstract State Machines For a non-frame alternative to the Abstract State Machine home page, please proceed immediately to http://www.eecs.umich.edu/gasm/cover.html . Read More
Go to Site

ACIMS -- Arizona Center of Integrative Modeling &Simulation

 Votes:0
Announcements: Theory of Modeling and Simulation reaches #1 best seller in Modeling on Amazon in mid October 2007 Book published : " Modeling&Simulation-Based Data Engineering : Introducing Pragmatics into Ontologies for Net-Centric Information Exchange" -- Review: Book Addresses Pressing IT Challenges on the GIG Short Course: Foundations of M&S at the Norwegian Defence Research Establishment, Kjeller, Norway, July, 2007. ACIMS is assisting in development and evaluation of M&S-Based Test and Evaluation DoD Continuous Learning Modules ACIMS students Saurabh Mittal, Chungman Seo and Saehoon Cheon received JITC's highest civilian 'Golden Eagle' award for project GENETSCOPE for NGIT and RTSync ACIMS and NGIT Team wins DoD M&S Award for developing rigorous, automation-capable M&S-based testing Read More
Go to Site

Acquired Intelligence Knowledge Acquisition & Engineering

 Votes:0
Your browser does not support script Welcome! Please take a moment to learn about our products and software development services. Acquire provides a step-by-step method for acquiring and structuring knowledge so that people without programming skills can develop expert system applications. This direct involvement by subject matter experts improves quality, accuracy and usability, and lowers development and maintenance time and cost. Acquire includes a Software Development Kit so programmers can embed knowledge-bases in other software applications, develop custom user interfaces, add computational functionality, or deploy knowledge bases in a client/server or Internet environment. myAcquire TM An Acquire application can be deployed on the Internet using the myAcquire TM service which provid Read More
Go to Site

Advanced Manufacturing & Mechatronics Centre

 Votes:0
The Advanced Manufacturing & Mechatronics Centre The AMMC is a multidisciplinary centre which comprisesof staff from the School of Mechanical and Manufacturing Engineering andthe School of Electronic Engineering. The AMMC is a Faculty Centrewithin the Faculty of Technology at MiddlesexUniversity . The facilities of the Centre are based at Bounds Green -London- and includethe following equipped laboratories: Machine Tools Workshop. Metrology Laboratory. Robotics Laboratory. Control Laboratory. The laboratories are teaching facilities which also enable research leading to postgraduate awards including PhD's. The work of the Centre comprises the following main areas: Automationof hazardous processes. Design of controlsystems . Rehabilitationrobotics . Robot position accuracy& traject Read More
Go to Site

Aerospace Robotics Laboratory - Stanford University

 Votes:0
Aerospace Robotics Laboratory - Stanford University This site is best viewed by using frames. If your browser does not support frames, please go to the non-frame ARL main page . Read More
Go to Site

AG vP Home (English)

 Votes:0
AG vP Home (English) Research Group Robotics & Process Control Prof. Dr. von Puttkamer University of Kaiserslautern Department of Computer Science Welcome to the homepage of the Robotics & Process Control Research Group at the University of Kaiserslautern. Our group's main topic in research and education is the application of computers in the control of technical processes. Special fields of interest are autonomous mobile robots, learning systems, 3D-measurements and simulation of automated processes. This research group has been officially closed down since Oct. 1st, 2001. We DON'T offer any internships or project work any longer. We will try to provide this web service for as long as possible, but we can't guarantee its infinite availability! Mobile Robots 3D Sonar Sensing 3D Scanning Re Read More
Go to Site

AHS at CMU

 Votes:0
Carnegie Mellon AHS group The USDOT has terminated its relationship with the National Automated Highways Systems Consortium. These web pages will remain online to provide access to information on our past efforts. The goal of the Automated Highway System is to develop the specifications for vehicles and roadways that will provide fully autonomous computer controlled driving to improve safety and throughput. CMU has been developing autonomous driving since 1984, beginning with the Terregator, up to the current series of Navlabs (6-10) Here is a list (with pictures) of all the Navlabs (from 1 to 11), for those of us who get a little confused sometimes... The 1997 NAHSC Technical Feasibility Demo was August 7-10, 1997, in San Diego, California. CMU demonstrated a number of technologies, inclu Read More
Go to Site

AI - U of Alberta

 Votes:0
computer vision sensing sensor technologies player modeling non-monotonic reasoning belief revision computer simulations search player modeling (will open in a new browser window) Bayesian belief nets automated reasoning knowledge representation logics machine learning pattern recognition (will open in a new browser window) scheduling automatic layout data mining data mining networks statistical methods Bayesian nets the Artificial Intelligence Research Group at the University of Alberta Read More
Go to Site

AI Education Repository

 Votes:0
AI Education Repository visitors since April 8, 1999 (counter provided by LinkExchange ) This site is no longer being maintained. Sorry. Welcome to the Artificial Intelligence Education Repository . This repository is a central registry of (and distribution point for) resources related to Artificial Intelligence (AI) education. It contains information on AI textbooks ; pointers to syllabi , sample programming assignments, and sample written assignments; on-line tutorials on specific AI topics ; tools and environments for the classroom or lab ( general and specific ); papers related to AI pedagogy; and mechanisms for sharing your own AI education resources with the AI community. All repository materials are classified either as general resources or under a specific AI topic . If you you wan Read More
Go to Site

AI wiki : Main - AI Wiki browse

 Votes:0
AI Wiki Main View Edit History Print Home AI Calendar Research Facilities Course Notes Thesis Topics Archive CSE AI Links AI seminars People Publications Research Students Centres CAS Thinking Systems SITCRC NICTA iCinema Conferences ICML 2007 ACRA 2005 RoboCup 2004 ICML 2002 edit SideBar Site Maintenance This wiki is for internal use to discuss UNSW AI and CAS projects. The pages stored here are grouped as follows: Events A calendar of seminars and other events Research For discussing current research projects Facilities A list of the facilities available to staff and student, including laboratories, robots, special purpose computers and software Course Notes A place to share lecture notes so that we don't have to duplicate effort Thesis Topics Descriptions of current AI topics offered to Read More
Go to Site

ALife Bibliography

 Votes:0
ALife Bibliography Read More
Go to Site

Animation @ the GVU Center @ Georgia Tech

 Votes:0
animation & graphics @ the gvu center @ georgia tech (old animation lab pages here) Affiliated Laboratories and Groups. Animation Laboratory (Founded and Directed by Jessica Hodgins 1992-2000). Computational Perception Laboratory (Founded and Co-directed by Irfan Essa 1996-Present) Digital Video Special Effects (Founded and Directed by Irfan Essa , 1999-Present). Experimental Games Laboratory (Founded and Directed by Michael Mateas 2003-Present). Computer Animation is a primary research focus of the GVU Center at Georgia Tech. We have many ongoing research projects and offer courses that cover the basics to advanced material in the different areas of Computer Animation. The main areas of focus include (but are not limited to) Simulation Motion Capture Video-based Animation AI for Animation Read More
Go to Site

Article #1 of Fuzzy Logic and its Uses

 Votes:0
You fuzzyin' with me ? "So far as the laws of mathematics refer to reality, they are not certain. And so far as they are certain, they do not refer to reality." -Albert Einstein, Geometry and Experience [Abstract] [Fuzzy what ??!! ] [Boolean vs. Fuzzy] [Fuzzy Subset Theory] [Fuzzy Operations] Abstract In the movie 2001:A Space Odyssey , Stanley Kubrick predicted how fast the computer technology would grow, by introducing the mainframe HAL, a "smart" computer with the ability to think and learn. Though, it is highly unlikely, that 5 years from now, man would have created HAL, one thing is for sure, it will eventually come from Japan. Why? Because of a very simple little thing in which the Japanese have adapted for decades; the Americans sweating to catch up;- fuzzy logic. This article intro Read More
Go to Site

Article Database for Fuzzy Theory and Systems by SOFT-DB

 Votes:0
Japan SOciety for Fuzzy Theory and intelligent informatics This page is an entrance of Article Database of Japan SOciety for Fuzzy Theory and intelligent informatics(SOFT DB). Click here for Top page of Japan SOciety for Fuzzy Theory and intelligent informatics . Click here or wait 20 seconds for Article Database of Japan SOciety for Fuzzy Theory and intelligent informatics . Read More
Go to Site

Artificial Intelligence

 Votes:0
Artificial Intelligence How does the mind/brain work? Can we provide computational and mathematical characterizations of the various procedures that make intelligent behavior possible? Can we replicate aspects of living intelligence in an artificial machine? The very nature of these questions make Artificial Intelligence an inherently multi-disciplinary effort. This is particularly so at Chicago. Our research interests divide principally into three areas: Natural language (Goldsmith, Levow, Niyogi, McAllester) Vision (Felzenszwalb, Amit) Machine learning (Niyogi, Amit, Felzenszwalb) Faculty Faculty in several departments work in areas that make strong contact with computational issues in cognitive and neural systems. Partha Niyogi (Computer Science) Gina-Anne Levow (Computer Science) John Read More
Go to Site

Artificial Intelligence

 Votes:0
AI-related FAQs Artificial Intelligence Artificial Intelligence FAQ - no longer updated, current location is at UCLA . Artificial Life FAQ Constraints FAQ Expert System Shells FAQ Fuzzy Logic FAQ Genetic Algorithms FAQ Microcontroller FAQ Neural Networks FAQ Natural Language Processing Robotics FAQ Last Web Update on August 10, 1997 by Mark Kantrowitz AI.Repository@cs.cmu.edu Read More
Go to Site

Artificial Intelligence

 Votes:0
Artificial Intelligence - An Overview Copyright © by Mark Baker 1996 Copyright waiver Return to MarkChrisSoft home page This is a brief overview of the field of artificial intelligence, at an introductory level. What is Artificial Intelligence? Perhaps... "AI is the study of ideas that enable computers to be intelligent." But what is intelligence? Is it the ability to reason (argue)? Is it the ability to acquire and use knowledge? Is it the ability to perceive (see, understand) and manipulate things in the real world? Intelligence is a combination of many information representation and information processing skills. One aim of trying to develop computers with AI is to make computers more useful. Another aim is to try and understand more about what intelligence is. There are many Read More
Go to Site

Artificial Intelligence - a CompInfo Directory

 Votes:0
CompInfo - The Computer Information Center The top one-stop reference resource for corporate IT, computers and communications Millions of IT users world-wide rely on our Web-based support resources Tell your colleagues and friends, and bookmark us at http://www.compinfo-center.com/ Computer Magazines Computer Books Computer Events CompInfo I.T. Directories Site Search Highlight Your Company Downloads, Drivers and Reviews Computer News Keep Informed - Add Your Interests MCSE Certification Resources IT Study Resources Artificial Intelligence - Outline "Artificial Intelligence is a branch of Science which deals with helping machines find solutions to complex problems in a more human-like fashion. This generally involves borrowing characteristics from human intelligence, and applying them as a Read More
Go to Site

artificial intelligence from FOLDOC

 Votes:0
artificial intelligence < artificial intelligence > (AI) The subfield of computer science concerned with the concepts and methods of symbolic inference by computer and symbolic knowledge representation for use in making inferences. AI can be seen as an attempt to model aspects of human thought on computers. It is also sometimes defined as trying to solve by computer any problem that a human can solve faster. The term was coined by Stanford Professor John McCarthy , a leading AI researcher. Examples of AI problems are computer vision (building a system that can understand images as well as a human) and natural language processing (building a system that can understand and speak a human language as well as a human). These may appear to be modular, but all attempts so far (1993) to solv Read More
Go to Site

Artificial Intelligence Research

 Votes:0
Artificial Intelligence Research CSE Home About CSE Search Contact Info Faculty Pedro Domingos Oren Etzioni Dieter Fox Yoky Matsuoka Mausam Marina Meila Rajesh Rao Steven Seitz Linda Shapiro Dan Weld Affiliated Faculty Les Atlas (UW EE) Sumit Basu (Microsoft Research) Emily Bender (UW Linguistics) Jeff Bilmes (UW EE) James Brinkley (UW Biological Structure) Tanzeem Choudhury (Intel Research) Brian Curless Alon Halevy Eric Horvitz (Microsoft Research) Ira Kalet (UW Radiation Oncology) Katrin Kirchhoff (UW EE) Mari Ostendorf (UW EE) Michael Stiber (UW Bothell CSS) Steve Tanimoto Rick Szeliski (Microsoft Research) Research Scientists Matt Broadhead --> Marcus Sammer Stephen Soderland Marc Sumner Students David Azari --> Eytan Adar Michele Banko Mike Cafarella Jiun-Hung Chen Jonah Cohen Kate D Read More
Go to Site

Artificial Intelligence Research Laboratory

 Votes:0
ISU Search Department of Computer Science Center for Computational Intelligence, Learning, and Discovery Artificial Intelligence Research Laboratory Introduction Welcome Research Overview Contact Information People Faculty Students Alumni Visitors Collaborators Schedule Research Overview Projects Grants Publications Graduate Study Note to Prospective Graduate Students Graduate College Computer Science Bioinformatics and Computational Biology Computational Intelligence, Learning, and Discovery Neuroscience Human-Computer Interaction Complex Adaptive Systems Artificial Intelligence Resources AI Courses AI Topics AI Links Cognitive Systems Grammar Inference AI Journals AI Genealogy AI Societies Events AI Seminar AI Lunch CCILD Events Computer Science Colloquium Other Events Other Information Read More
Go to Site

Artificial Intelligence Research Laboratory

 Votes:0
ISU Search Department of Computer Science Center for Computational Intelligence, Learning, and Discovery Artificial Intelligence Research Laboratory Introduction Welcome Research Overview Contact Information People Faculty Students Alumni Visitors Collaborators Schedule Research Overview Projects Grants Publications Graduate Study Note to Prospective Graduate Students Graduate College Computer Science Bioinformatics and Computational Biology Computational Intelligence, Learning, and Discovery Neuroscience Human-Computer Interaction Complex Adaptive Systems Artificial Intelligence Resources AI Courses AI Topics AI Links Cognitive Systems Grammar Inference AI Journals AI Genealogy AI Societies Events AI Seminar AI Lunch CCILD Events Computer Science Colloquium Other Events Other Information Read More
Go to Site

ASL Home

 Votes:0
< News & Events > "University of Hawaii mechanical engineers and students are close to completing the country's first autonomous robotic vehicle for deep-ocean work." July 19, 2005 Welcome to the Autonomous Systems Lab Click here to know about ASL! Last updated August 17, 2006 Read More
Go to Site

Association for the Advancement of Artificial Intelligence

 Votes:0
Association for the Advancement of Artificial Intelligence About Us Membership Conferences Symposia AI Topics Publications Library Pressroom Contact Us Welcome to AAAI! Founded in 1979, the Association for the Advancement of Artificial Intelligence (AAAI) (formerly the American Association for Artificial Intelligence) is a nonprofit scientific society devoted to advancing the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines. AAAI also aims to increase public understanding of artificial intelligence, improve the teaching and training of AI practitioners, and provide guidance for research planners and funders concerning the importance and potential of current AI developments and future directions. More… Major Activi Read More
Go to Site

AutoLife - Autonomous Mobile Robots

 Votes:0
AutoLife - Autonomous Mobile Robos for Artificial Life Description The goal of project AutoLife is the exploration of Artificial Life aspects with autonomous mobile robots. We are investigating the group behavior and the emergent intelligence of groups of robots ("robot swarms"). Programming techniques traditional parallel processing techniques, learning, and genetic algorithms. This project is directed by Thomas BrÄunl and sponsored by SunTREC of Sun Microsystems . We also use ten mini robots for a laboratory course at the Univ. Stuttgart. Students are asked to solve a number of tasks, teaching them the basics of parallel processing, real time processing, and robotics. Hardware For our new hardware/software development of mobile robots with on-board vision system, see the EyeBot web pages Read More
Go to Site

Autonomous Mobile Robotics Lab

 Votes:0
Please note: the Autonomous Mobile Robotics Laboratory, and associated projects, are no longer in existence. This page last updated in 2003. This site remains for archival purposes only. Welcome to the Autonomous Mobile Robotics Lab Current research at the MAGIC Lab: Next generation robotics and smart rooms. Traditional Robotics at the AMRL: Intelligent Control of Goal-Based Robotics and Motion Planning Autonomous Mobile Robotics Laboratory Manifesto Maryland Robot Wins Japanese Competition! Lancelot has taken first place in a Japanese Robotics competition, beating over 110 Japanese competitors. Lancelot is a small autonomous robot built by a team of undergraduates under the guidance of AMRL's laboratory director, Dr. Julio K. Rosenblatt , and mechanical engineering professor Dr. Gregory W Read More
Go to Site

Avalanche Project Publications

 Votes:0
University of Utah Department of Computer Science Avalanche Scalable Parallel Processor Project Publications ASCOMA: An Adaptive Hybrid Shared Memory Architecture (ICPP98 -- Aug 1998) Abstract Scalable shared memory multiprocessors traditionally use either a cache coherent non-uniform memory access (CC-NUMA) or simple cache-only memory architecture (S-COMA) memory architecture. Recently, hybrid architectures that combine aspects of both CC-NUMA and S-COMA have emerged. In this paper, we present two improvements over other hybrid architectures. The first improvement is a page allocation algorithm that prefers S-COMA pages at low memory pressures. Once the local free page pool is drained, additional pages are mapped in CC-NUMA mode until they suffer sufficient remote misses to warrant upgrad Read More
Go to Site

Boids (Flocks, Herds, and Schools: a Distributed BehavioralModel)

 Votes:0
Boids Background and Update by Craig Reynolds [You need to be using an Java-enabled browser to see this demo.] (more information about this applet (and others) is available) In 1986 I made a computer model of coordinated animal motion such as bird flocks and fish schools. It was based on three dimensional computational geometry of the sort normally used in computer animation or computer aided design. I called the generic simulated flocking creatures boids . The basic flocking model consists of three simple steering behaviors which describe how an individual boid maneuvers based on the positions and velocities its nearby flockmates: Separation : steer to avoid crowding local flockmates Alignment : steer towards the average heading of local flockmates Cohesion : steer to move toward the aver Read More
Go to Site

Boston Dynamics: The Leader in Lifelike Human Simulation

 Votes:0
©2005 Boston Dynamics. All rights reserved. Read More
Go to Site

Brown CS: Artificial Intelligence

 Votes:0
Home Search About Us News Events/Talks Courses Graduate Study Undergraduate Study People Research AI People Publications Comp Finance Graphics Labs Projects Systems Theory Software Catalog Rooms & Labs Computing Systems Publications Industrial Relations Artificial Intelligence Artificial Intelligence at Brown University is concerned with theoretical and empirical studies involving problems ranging from natural language interpretation and machine perception to mobile robotics and disembodied agents, such as those employed in searching the World Wide Web. The research emphasizes algorithmic issues as they arise in using sophisticated models (many of them probabilistic models) to represent and solve such problems. The applications include auctions and other economic transactions on the World Read More
Go to Site

Bruce D'Ambrosio temporary Homepage

 Votes:0
Bruce D'Ambrosio Bayes nets Research (draft) UAI mailing list information Classes CS532 Advanced AI CS539 Graphical Models CS461/462 Senior Project class Reading Group Read More
Go to Site

BU - Computer Science Technical Reports

 Votes:0
BU - Computer Science Technical Reports Apropos Technical Report Submission Guidelines BUCS Technical Report Abstracts BUCS Bibliographical Information in BibTex Format BUCS Bibliographical Information in Refer Format NCSTRL: Networked Computer Science Technical Reference Library CiteSeer: Index of CS Scientific Documents CoRR: Computing Research Repository BUCS Technical Report Archives The technical reports listed below are available on-line. Click on the Technical Report Number to retrieve a Compressed PostScript version of the entire report. Click on the "[PDF]" anchor to retrieve a Portable Document Format version of the entire report. Click on the "[PS]" anchor to retrieve a PostScript version of the entire report. Click on the "[Abstract]" anchor to retrieve the report's abstract in Read More
Go to Site

Burdick Group Home Page

 Votes:0
Burdick Group Home Page Robotics and BioEngineering Research Departments of Mechanical Engineering and BioEngineering Division of Engineering & Applied Science , California Institute of Technology Thomas Laboratory, Mail Code 104-44 Home People Research Papers Robot Pictures Links Current Research Topics Our research group covers both Robotics and BioEngineering. Current topics of interest include: Neural Prosthetics and Brain-Machine Interfaces. A neural prosthesis as a ``direct brain interface'' that enables a human, via the use of surgically implanted electrode arrays and associated computer decoding algorithms, to control external electromechanical devices by pure thought alone. In this manner, some useful functions that have been lost through disease or accident can be partially resto Read More
Go to Site

Case-Based Reasoning [the AI-CBR Homepage]

 Votes:0
please note that ai-cbr is no longer being maintained if you would like to take over the maintenance of ai-cbr please contact: ian @ cs dot auckland dot ac dot nz ai-cbr was run from the Department of Computer Science at the University of Auckland Read More
Go to Site

CIIPS Home page

 Votes:0
Centre for Intelligent Information Processing Systems School of Electrical, Electronic and Computer Engineering The University of Western Australia Welcome to CIIPS Introduction and Information for Prospective Students, Contact Research CIIPS comprises the following research groups: Information and Software Engineering Research Group (A/Prof. G. Bundell, T. Woodings) Real-time distributed systems design methodologies, Petri-net modelling, Software quality and metrics [EE 3.02] Integrated Sensory Intelligent Systems Lab (A/Prof. A. Zaknich) Adaptive Self-Learning Systems, Intelligent Signal Processing, Audio and Underwater Applications [EE 3.15] Robotics and Automation Lab (A/Prof. T. BrÄunl) Intelligent Mobile Robots, Embedded Systenm, Image Processing, Automotive Systems, Simulation [EE 3 Read More
Go to Site

CIS - Center for Intelligent Systems

 Votes:0
click anywhere on image to proceed Read More
Go to Site

CMU SCS OZ Project Home Page

 Votes:0
As of December 2002, the Oz Project is no longer active at CMU. See the publications page for final (December 2002) Oz publications. However, project alumni continue (in various ways) work in the Oz Project tradition at: Zoesis (Joe Bates, Bryan Loyall, Scott Neal Reilly, Peter Weyhrauch), Georgia Tech (Michael Mateas), and Cornell (Phoebe Sengers). The Oz Project at CMU developed technology and art to help artists create high quality interactive drama, based in part on AI technologies. This especially meant building believable agents in dramatically interesting micro-worlds. Overview Project Members Publications Worlds and Images Related Work Maintained by: wsr+@cs.cmu.edu Read More
Go to Site

CMU/Language Technologies Institute:Research

 Votes:0
Home About Directions Admissions How To Apply The LTI Brochure Education Ph.D. M.S. Undergrad Minor Courses FYI LTI Forms Seminars LTI Seminar Series Joint Speech Seminar (JSS) Machine Translation (MT) Information Retrieval Series Visitor Information General Maps & Directions Hotel Links Parking Information Research Projects Reports Dissertations People Faculty Students Upcoming Graduates Staff Visitors Who to See for What Contacts Center for Machine Translation The Center for Machine Translation (CMT) at the School of Computer Science at Carnegie Mellon University conducts advanced research and development in a suite of technologies for natural language processing, with a primary focus on high-quality multi-lingual machine translation. The CMT was founded in 1986, and currently supports a Read More
Go to Site

Cognitive/Agent Architecture: Title Page

 Votes:0
A Survey of Cognitive and Agent Architectures The objective of this document (*) is to provide some rational, structured access to an analysis of cognitive and agent architectures (for more information on accessing the document, see the Reader's Guide ). Twelve architectures have been used for this preliminary analysis representing a wide range of current architectures in artificial intelligence (AI). The aim of the project is to facilitate both an understanding of current architectures and provide insight to the development of future, improved intelligent agent architectures. This work was based on publications from 1992 and before and has not been authorized by the researchers responsible for particular architectures (see DISCLAIMER for additional information). ( * : The terms node , lin Read More
Go to Site

Computational Intelligence Research Laboratory

 Votes:0
The Computational Intelligence Research Laboratory (CIRL) of the University of Oregon has a research focus on basic questions in artificial intelligence including search, knowledge representation, and reasoning. Emphasis is on planning, constraint satisfaction, and commonsense reasoning. Laboratory faculty members participate in some Computer and Information Sciences Department activities and shared recreational activities. The laboratory is affiliated with On Time Systems , a spin-off company commercializing some of the technology developed at CIRL. CIRL provides financial support for students and fosters an intimate relationship among a small group of researchers working in closely-related areas and the graduate students they supervise. CIRL currently has openings for talented students. Read More
Go to Site

Computer Vision and Image Understanding

 Votes:0
COMPUTER VISION AND IMAGE UNDERSTANDING an archival journal published by Elsevier Computer Vision and Image Understanding is the oldest and a most prestigious journal devoted to the dissemination of research in areas relevant to computer vision. Papers are published on all aspects of image analysis, from low-level processing, as in early vision, to high-level symbolic processing needed for recognition and interpretation. More specifically, the following topics are particularly central to what gets published in the journal: Computational models of the human visual system Early vision Data structures and representations needed for high-level vision Shape representation and extraction Range data analysis Use of motion for recognition and interpretation Matching and recognition Architectures a Read More
Go to Site

Computer Vision and Robotics Research Group

 Votes:0
" WIDTH="6" HEIGHT="14" SRC="http://www.cs.ualberta.ca/gif/arrow.gif"> RESEARCH GROUP MEMBERS Faculty, Staff and Graduate Students " WIDTH="6" HEIGHT="14" SRC="/gif/arrow.gif"> RESEARCH ACTIVITIES Dexterous Manipulation Project Vision Based World Modeling for Mobile Robot Exploration Collective Robotic Intelligence Project (CRIP) " WIDTH="6" HEIGHT="14" SRC="/gif/arrow.gif"> RESEARCH LABORATORY The Computer Vision and Robotics Research Laboratory is located in room 644 on the 6th floor of the General Services Building . " WIDTH="6" HEIGHT="14" SRC="/gif/arrow.gif"> PUBLICATIONS Anup Basu and graduate students Xiaobo Li and graduate students Hong Zhang and graduate students " WIDTH="6" HEIGHT="14" SRC="/gif/arrow.gif"> U OF A ROBOTICS VIDEOS --> " WIDTH="6" HEIGHT="14" SRC="/gif/arrow.gif"> Read More
Go to Site

Computer Vision Laboratory

 Votes:0
Responsible for this page: webmaster , cvlwebmaster@isy.liu.se Page last update: 2005-05-30 [ Go to content ] [ Help ] [ Information about accessability ] Search CVL Search LiU.se Find an employee | Prospective students Exchange students LiU-students Visitors Computer Vision Laboratory Information About CVL Contact us People Partners and sponsors Work with us Local pages Research Research Directions Filtering and Features Objects and Scenes Learning Robotics Medical Image Analysis Computer Tomography Scientific Output Books Publications PhD and Lic Theses Master's Theses Technical Reports Education Graduate Courses Undergraduate Courses Master's Theses LiU - ISY - CVL Computer Vision Laboratory LinkÖping University Sweden Research Directions: Filtering and Features &nbsp Objects and Scenes Read More
Go to Site

Context Web: Redirect to new host

 Votes:0
Context Web This page's host has been moved, and at the moment, name servers are being updated accordingly. Within a couple of days, the correct url, http://www.context-web.org, should again point to the right place. For now, though, you are being re-directed. Sorry for any inconvenience. If you are not redirected in 10 seconds, click here. Roy Turner , rmt@umcs.maine.edu Last modified: Mon Jun 12 15:46:19 EDT 2006 Read More
Go to Site

counter intelligence - mit media lab

 Votes:0
"la cantina", room e15-068 comments to the webmaster statement of purpose people research projects press recommended books web resources members only events original prospectus & white paper Read More
Go to Site

CSOIS - Center for Self-Organizing Intelligent Sys - Home

 Votes:0
Home About People Projects Technology Publications News Thursday, November 22, 2007 Hot Projects ODIS reveals mock bomb at SAE World Congress in Detroit. Intelligent surveillance system with unmanned aircraft and robots may protect critical locations in the future. CSOIS develops real-time, integrated, autonomous systems with a bright group of researchers, engineers, and technicians. Read More
Go to Site

Databases and Artificial Intelligence 3 Artificial Intelligence Segment

 Votes:0
Next: Contents Databases and Artificial Intelligence 3 Artificial Intelligence Segment Alison Cawsey Contents Introduction What is Artificial Intelligence? Is AI Possible? Some AI Tasks AI Techniques Knowledge Representation Search About This Course Artificial Intelligence Programming in Prolog Artificial Intelligence Programming Support for Symbolic Computation: Support for Exploratory Programming The Main AI Languages The Basics of Prolog Prolog Terms, Backtracking and Unification Basic Data Structures and Syntax More about Prolog Matching Backtracking Declarative and Procedural Views of Programs Some Exercises Recursion Tracing Prolog Execution Exercises: List Processing Exercises Remaining Topics Knowledge Representation and Inference Intoduction Structured Objects Semantic Nets Frames Read More
Go to Site

Dendronic Decisions Home

 Votes:0
Dendronic Decisions Limited Advanced Computing Research -- Expertise in Machine Learning Home Applications Technology Articles Products News Company Dendronic Decisions develops software used in forecasting, data analysis and pattern recognition. It is particularly useful where real-time response or easily analyzed behavior are required. Our software takes data samples with so much noise (left picture) it looks meaningless and fits them with a smooth function (right picture -- actual result). We know of no other machine learning software that estimates the level of noise in the data to support training. The messy data below on the left results in a trained approximation as shown below on the right. See how easy it is to use ALNfit Pro ( it's free and open-source! ) You can see some short i Read More
Go to Site

Department of Automatic Control, Lund, Sweden

 Votes:0
Automatic Control Homepage Introduction Education News & Misc People at the Department Publications Research Search Seminars / Conferences Finding Us Lund University Lund Institute of Technology Introduction Seminars/Conferences News & Misc --> Education People Research Finding Us Publications Popul?rvetenskaplig beskrivning Search News Defence of Doctoral Dissertation Tools and Languages for Optimization of Large-Scale Systems Johan ?kesson Friday 2007-11-30 10:15, Room M:B (2007-11-13) Most recent publications [Browse recent publications] Article in Journal: Johan Bengtsson et al. : " Hybrid Modelling of Homogeneous Charge Compression Ignition (HCCI) Engine Dynamic—A Survey ". November 2007. PhD Thesis: Johan ?kesson: " Tools and Languages for Optimization of Large-Scale Systems ". Read More
Go to Site

digitaltrust - Home

Votes:0
November 21, 2007, 5:11 am www.digitaltrust.it --> --> --> --> Conservazione Sost. Sign'nCrypt II Webservice Appliance Server Verifica firma digitale Risk Management Assessment Strategia Security Policy ICT & Law Auditing System Integration Managed Security Formazione Gestione Documentale Vulnerabiliy Scanner Firewall IDS VPN Server di posta Virtual Office PKI Firma Digitale Antivirus Inserisci usr e pwd Conservazione sostitutiva Integrazione Firma digitale Gestione del rischio Integrazione dei sistemi DPS - Documento Programmatico per la sicurezza Il complesso di soluzioni e servizi per la firma digitale : Applicativo Interoperabile Servizio integrabile Marcatura Temporale ed ? sempre disponibile il sistema completo di " verifica online della firma " disponibile gratuitamente: V. 3 Rilasc Read More
Go to Site

DLR - Institute of Robotics and Mechatronics - Home

 Votes:0
DLR Portal Home | Imprint | Sitemap | Contact | Deutsch Friday, 23 11 2007 You are here: Home Fontsize: [-] Text [+] Advanced Search News Institute Departments Research Publications Job offers Downloadable Images Institute of Robotics and Mechatronics Prof.Dr. Gerhard Hirzinger Head of the Institute , Oberpfaffenhofen-Wessling Institute of Robotics and Mechatronics Mechatronics is the utmost integration of mechanics, electronics, and information technology up to "intelligent mechanisms" and robots which interact with their environment. Here, the "integral" design optimization and 3D simulation of such systems and components before they are built plays a decisive role. Accordingly, research carried out in the DLR Institute of Robotics and Mechatronics is based on the interdisciplinary (virt Read More
Go to Site

DRAFT Specification of the KQML Agent-Communication Language plus example agent policies and architectures The DARPA Knowledge Sharing Initiative External Interfaces Working Group

 Votes:0
Up: DRAFT Specification of the KQML Agent-Communication Language plus example agent policies and architectures The DARPA Knowledge Sharing Initiative External Interfaces Working Group 5pt DRAFT Specification of the KQML Agent-Communication Language plus example agent policies and architectures The DARPA Knowledge Sharing Initiative External Interfaces Working Group Tim Finin (co-chair) University of Maryland Jay Weber (co-chair) Enterprise Integration Technologies Gio Wiederhold (former co-chair) Stanford University Michael Genesereth Stanford University Richard Fritzson Donald McKay Paramax Systems James McGuire Richard Pelavin Lockheed AI Center Stuart Shapiro SUNY Buffalo Chris Beck University of Toronto This document is a draft of an initial specification for the KQML agent communicati Read More
Go to Site

Electrical and Computer Engineering (ECE) Department - University of New Mexico, UNM

 Votes:0
Electrical and Computer Engineering Department The University of New Mexico ECE UNM Web Home About ECE Technical Reports Photo Album Site Map Optical Science and Engineering Graduate Undergraduate Webmail Computer Support Engineering Student Services IEEE Student Branch Eta Kappa Nu Women in Sci. & Eng. EYES Internships What is Engineering Engineers Without Borders UNM ARTS Lab MIND Institute Center for High Technology Materials Center for High Performance Computing Southwestern Regional ECE Department Heads Association ABET School of Engineering WebCT @ UNM UNM Home News Bytes Call for Papers &#151 Image Analysis Symposium The 2008 IEEE Southwest Symposium on Image Analysis and Interpretation is being chaired by ECE Prof. Marios Pattichis and will be held March 24-26, 2008, at La Fonda Ho Read More
Go to Site

Elements of AI

 Votes:0
The Elements of Artificial Intelligence Using Common Lisp, Second Edition: Lisp Programs Copyright Notice The Lisp program materials posted here are subject to copyright protection. They are available for noncommercial use as noted: The programs appear in The Elements of Artificial Intelligence Using Common Lisp, Second Edition, published by W. H. Freeman, 41 Madison Ave., New York, NY 10010. Permission is granted for noncommercial use and modification of these programs, provided that in each program this copyright notice is retained and followed by a notice of any modifications made to the program. Chapter 1 (Introduction) (No programs in this chapter) Chapter 2 (Programming in Common Lisp) (No nontrivial programs in this chapter) Chapter 3 (Production Systems and Pattern Matching) ROMAN1 Read More
Go to Site

Errore

 Votes:0
Errore Pagina non trovata o servizio temporaneamente non disponibile, provare piu' tardi Read More
Go to Site

European Network in Uncertainty Techniques

 Votes:0
European Network in Uncertainty Techniques Developments for Use in Information Technology (ERUDIT) Keywords : fuzzy, training, exchange. Objectives and approach. ERUDIT is an open network concerning modelling with uncertainty and fuzzy logic. The network started in 1995, and the objective is to establish a communication network for researchers, students and practitioners. Our contribution is within the human resources committee which takes care of training and exchange of people. A service centre in Aachen, Germany, holds the network together. ERUDIT uses Internet, World Wide Web, and a newsletter to disseminate information. There are eight committees other than the human resources committee, and the aim is to emcompass 200 nodes consisting of 60% universities and 40% industrial nodes. The Read More
Go to Site

Evaluation of Intelligent Systems

 Votes:0
Evaluation of Intelligent Systems Field Guide Experiment design, data analysis, and statistics Announcements Events and news Advice Corner Questions and answers External Resources Useful links Glossary Terms defined Help Navigation and use Search Finding information Contact Sending us questions and comments Citation How to cite EIS pages About EIS How EIS was created Evaluation of Intelligent Systems (EIS) is an online resource that provides "one-stop shopping" for managers, system-builders, researchers, and users who wish to study the empirical behavior of information systems. Content The EIS Field Guide gives information on: Exploratory Data Analysis Hypothesis Testing Modeling Statistical terminology On-line Statistical Tools The other portions of EIS serve a community-buildin Read More
Go to Site

FAQ: Fuzzy Logic and Fuzzy Expert Systems 1/1 [Monthly posting]

 Votes:0
Introduction [1] What is the purpose of this newsgroup? [2] What is fuzzy logic? [3] Where is fuzzy logic used? [4] What is a fuzzy expert system? [5] Where are fuzzy expert systems used? [6] What is fuzzy control? [7] What are fuzzy numbers and fuzzy arithmetic? [8] Isn't "fuzzy logic" an inherent contradiction? Why would anyone want to fuzzify logic? [9] How are membership values determined? [10] What is the relationship between fuzzy truth values and probabilities? [11] Are there fuzzy state machines? [12] What is possibility theory? [13] How can I get a copy of the proceedings for ? [14] Fuzzy BBS Systems, Mail-servers and FTP Repositories [15] Mailing Lists [16] Bibliography [17] Journals and Technical Newsletters [18] Professional Organizations [19] Companies Supplying Fuzzy Tools [2 Read More
Go to Site

FindLinks

 Votes:0
The Yellow Pages Phone Book and Phone Directory Business Phone Directory People Phone Book Web Search Find a Business: Enter a City: Choose a State: Select... Alabama Alaska Arizona Arkansas California Colorado Connecticut D.C. Delaware Florida Georgia Hawaii Idaho Illinois Indiana Iowa Kansas Kentucky Louisiana Maine Maryland Massachusetts Michigan Minnesota Mississippi Missouri Montana Nebraska Nevada New Hampshire New Jersey New Mexico New York North Carolina North Dakota Ohio Oklahoma Oregon Pennsylvania Rhode Island South Carolina South Dakota Tennessee Texas Utah Vermont Virginia Washington West Virginia Wisconsin Wyoming Category Name Find a Person: Enter a City: Choose a State: Select... Alabama Alaska Arizona Arkansas California Colorado Connecticut D.C. Delaware Florida Georgia H Read More
Go to Site

Formal Methods and Dependable Systems

 Votes:0
Computer Science Laboratory Contact People at CSL Projects at CSL Research Programs - Database Interoperability and Security - Dependable Systems Architectures - Formal Methods and Dependable Systems - Intrusion Detection - Networking - Other CSL Projects - Rewriting Logics and Systems - Secure Systems Division Home Formal Methods and Dependable Systems The Formal Methods program is the world leader in formal verification of computer systems. Our Prototype Verification System (PVS) provides rigorous assurance of correctness for mission critical systems. Director : Dr. John Rushby Staff Members : Dr. Patrick Lincoln Sam Owre Dr. Natarajan Shankar Dr. Ashish Tiwari Projects: Compositional Abstraction and Refinement for Aspects (CARA) Formal Composition Technology for Time-Triggered Systems I Read More
Go to Site

Formal Verification Group

 Votes:0
Home Research Publications Software STP CVC Lite CVC Talks Aug 9-12, 2004: Summer School on Combination of Decision Procedures Voting machines Election 2004 photo essay (class project) Clarification of role of the NSF ACCURATE voting research center. VerifiedVoting.org Verified Voting Foundation Formal Verification Group Group Leader: David L. Dill Research Associates: Sergey Berezin Administrative Associate: Judy Polenta Ph.D. Students: Jacob Chang Vijay Ganesh Eric Smith David Park Debashis Sahoo Former Ph.D. Graduates: Husam Abu-Haimed Rajeev Alur Clark Barrett Supratik Chakraborty Satyaki Das Gaurishankar Govindaraju Alan J. Hu C. Norris Ip Robert Jones Madan Musuvathi Steven Nowick SeungJoon Park Kanna Shimizu Aaron Stump Jefferey Su Chris Wilson Elizabeth Wolf Howard Wong-Toi Kenneth Read More
Go to Site

Forschungszentrum Informatik (FZI) -

Votes:0
--> Die Kompetenzen des Bereichs MMR werden seit Januar 2006 im Bereich ISPE gebÜndelt. Sie werden automatisch weitergeleitet. Read More
Go to Site

Fukuda Laboratory

 Votes:0
Nagoya University Department of Micro-Nano Systems Engineering Fukuda Laboratory Search --> Last updated on 8, September, 2006. Managed by WebMaster* (*: @robo.mein.nagoya-u.ac.jp") Copyright (c) 2006 Fukuda Lab. Nagoya Univ. all rights reserved Read More
Go to Site

FUTURE COMPUTING ENVIRONMENTS

 Votes:0
The Future Computing Environments (FCE) Group is a collection of students and researchers across various units of Georgia Tech who are interested in developing a culture and infrastructure on campus for the investigation, prototyping, and construction of computing environments now that we believe will be commonplace in 10-15 years. Comments or suggestions? Email them to fce-webmaster Last updated: 1/13/97 Read More
Go to Site

Fuzzy Logic Overview

 Votes:0
Fuzzy Logic Overview I've seen a lot of confusion in the first few articles posted to this newsgroup about what, exactly, fuzzy logic is. Since I've been working in the field for five years, I thought I'd help get things started by posting some introductory material. This article covers the question "What is Fuzzy Logic?" from a mathematical point of view. Succeeding articles will cover the questions " What is a Fuzzy Expert System? " and " What is Fuzzy Control? ". Warning : If you're not already familiar with fuzzy logic, you're going to see a lot of new terms defined in this article. I'll try to put _underscores_ around terms that are likely to be new. You may need to read it a few times, just to pick up all the terms. What is Fuzzy Logic? Fuzzy logic is a Read More
Go to Site

Fuzzy Systems - A Tutorial

 Votes:0
Fuzzy Systems - A Tutorial by James F. Brule' (c) Copyright James F. Brule' 1985. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the copyright notice and the title and date appear, and notice is given that copying is by permission of the author. To copy otherwise, or to republish, requires a fee and/or specific permission. Introduction Fuzzy systems is an alternative to traditional notions of set membership and logic that has its origins in ancient Greek philosophy, and applications at the leading edge of Artificial Intelligence. Yet, despite its long-standing origins, it is a relatively new field, and as such leaves much room for development. This paper will present the foundation Read More
Go to Site

fuzzyTECH

 Votes:0
fuzzyTECH Sorry, noframes-version not available. Read More
Go to Site

generation5 - At the forefront of Artificial Intelligence

 Votes:0
Home Articles Reviews Interviews JDK Glossary Features Discussion Search Contribute What's New Submit News Featured Modelling Bacteria My first article in a while looks at Modelling Bacteria Using the JDK , and includes a brand new Java applet to play with. Anthony Daniels C3PO talks to Gen5 ! In one of our best interviews to date, Anthony discusses C3PO, Star Wars, emotions and machines, modern-day robotics research and a lot more. A must read. ! aiSomPic This article continues to be one of my favourite, looking at how to use SOMs to categorize and discover similar images. . Modelling Bacteria using the JDK We're back! My first article in a very long time is a look at simulating the fractal behaviour of bacteria using the Generation5 JDK - Java applet included! (1/4/2007) Towards General Read More
Go to Site

Genetic Algorithms

 Votes:0
Genetic Algorithms Contents Introduction Brief Overview Who can benefit from GA Applications of Genetic Algorithms GA on optimisation and planning: Travelling Salesman Problem Failure of Standard Genetic Algorithm Evolutionary Divide and Conquer (EDAC) Related Resources GA in Business and Their Supportive Role in Decision Making Finance Applications Information Systems Applications Production/Operation Applications Role in Decision Making GA on robot behaviour GA's Role Conclusion and Future Work GA for Object Localisation in a complex Scene (vision sensory for robot or other devices) GA parameters Conclusion and Future Work Artificial Life Alife on Telecommunication Artificial Life? Real Life? Are they interchangeable? Conclusion References Written Materials Books Theses Academic Papers I Read More
Go to Site

gpanimatedtutorial

 Votes:0
What is Genetic Programming? One of the central challenges of computer science is to get a computer to do what needs to be done, without telling it how to do it. Genetic programming addresses this challenge by providing a method for automatically creating a working computer program from a high-level problem statement of the problem. Genetic programming achieves this goal of automatic programming (also sometimes called program synthesis or program induction ) by genetically breeding a population of computer programs using the principles of Darwinian natural selection and biologically inspired operations. The operations include reproduction, crossover (sexual recombination), mutation, and architecture-altering operations patterned after gene duplication and gene deletion in nature. Genetic p Read More
Go to Site

Hinweis.html

 Votes:0
Die neue Web-Seite des IPVS (Institut fÜr Parallele und Verteilte Systeme) lautet http://www.ipvs.uni-stuttgart.de Read More
Go to Site

Home | Field Robotics Center

 Votes:0
The Field Robotics Center At Carnegie Mellon's Robotics Institute Home Contact People Research Robots Publications Charter The Field Robotics Center determines the future of field robotics by creating automated work machines for land, sea, air and space. We cast the vision of field robotics and create technology, robots, and leaders of tomorrow. We are a premier research organization embedded within the Robotics Institute of Carnegie Mellon University. Mission We create robots to explore, develop, secure, and feed our world and worlds beyond. © 2005 Carnegie Mellon University . Read More
Go to Site

Homepage - DCSC

 Votes:0
People Education Research Industrial Agenda Control Systems Engineering (CSE) group Recently, the CSE group has been merged with two other control groups and is now part of the Delft Center for Systems and Control (DCSC). More information can be found on the DCSC website. You will be redirected to the homepage of the Delft Center for Systems and Control in a few moments. If your browser does not show a new page in 10 seconds, click here: [ link ]. Last modified: 18 November 2003, 15:45 UTC Search Site map Read More
Go to Site

Humanoid Animation Working Group

 Votes:0
Specifications The H-Anim 200x specification ( ISO_IEC_FCD_19774 ) The H-Anim 1.1 specification ( zip ) ( gz ) - primary contributors to the H-Anim 1.1 spec - Japanese translation of the H-Anim 1.1 spec The H-Anim 1.0 specification Working Group Information H-Anim mailing list H-Anim historical links Join the H-Anim mailing list to participate in these virtual human discussions: http://H-Anim.org/hypermail/ H-Anim exists for the sole purpose of creating a standard representation for humanoids Read More
Go to Site

IAS-group

 Votes:0
IAS-group Alumni Contact info Events IAS-Knowledge centre IAS-Society M.Sc. projects People Publications Research Site Map Software Teaching Vacancies (See ISLA for the new IAS website. Most maintenance activities on this old website have stopped.) IAS-group The IAS group studies methodologies to create intelligent autonomous systems, which perceive their environment through sensors and use that information to generate intelligent, goal-directed behaviour. This work includes formalization, generalization and learning of goal-directed behaviour in autonomous systems. Particular themes include: Perception Learning Geometric principles Multiagent systems 414 hits in November 2007 last update14 - 02 - 2005 bterwijn@science.uva.nl Read More
Go to Site

IBM Software - Home Page

 Votes:0
Skip to main content United States [ change ] Home Business solutions IT services Products Support & downloads My IBM Software Products A to Z Products by category Industry solutions Services Downloads Library News Training and certification Events Support Related links IBM Business Partners ISVs Developers Business partner applications Software Why IBM Software Open. Scalable. Secure. Industry focused. IBM software products and industry solutions help you innovate and become more flexible, while making the most of current resources and controlling costs. What we offer Optimizing IT Reduce infrastructure costs and improve IT resource optimization. Governance and risk management Provide business alignment, visibility and control. Leveraging information Drive more value from structured and u Read More
Go to Site

IDIAP : Welcome to IDIAP Research Institute (Speech Processing - Multimodal Interactions - Computer Vision - Machine Learning - Information Retrieval - Biometric Authentication)

 Votes:0
IDIAP Research Institute Wishes you a Merry Christmas and a Happy New Year --> --> Search | Home | Contact Open positions Job application guidelines For Postdoctoral and Senior researcher positions click here For PhD student positions click here --> About IDIAP Organization Sponsors & Partners Press & News Special Events Research Themes Current Projects Publications Demonstrations Resources People Open positions & applications Address, Directions & FAQs Contact Address Institut de recherche IDIAP Centre du Parc Av. des PrÉs-Beudin 20 Case Postale 592 CH-1920 Martigny Switzerland tel. +41 27 721 77 11 fax +41 27 721 77 12 Be aware that the IDIAP website will be shut down next friday, september 07. We are about to finalize our move to our premises (Centre du Parc), and some of our services w Read More
Go to Site

IDSIA - Dalle Molle Institute for Artificial Intelligence

 Votes:0
HOME PEOPLE JOBS PROJECTS TECH REPORTS CONTACT LINKS English Italian Currently employed Veterans Friends Currently Open Positions All Positions for last 5 years All Projects Current Projects Completed Projects Last 5 years Older All Address How to reach IDSIA IDSIA (Istituto Dalle Molle di Studi sull'Intelligenza Artificiale) is a non-profit oriented research institute for artificial intelligence, affiliated with both the University of Lugano and SUPSI . We focus on machine learning (artificial neural networks, reinforcement learning), optimal universal artificial intelligence and optimal rational agents, operations research, complexity theory, and robotics. IDSIA is situated near Lugano, a lakeside city in the Italian-speaking canton of Ticino, a region of Switzerland well known for its w Read More
Go to Site

IFSA

 Votes:0
The new Home Page of IFSA . Read More
Go to Site

IMHOFAQ: The Outsider's Guide to Artificial Intelligence

 Votes:0
[Up: Robot Wisdom home page] [Map] [No prior] [Robot Wisdom home page] Artificial Intelligence, and Robot Wisdom Jorn Barger revised Aug99 It's been over forty years since the term "Artificial Intelligence" was coined in 1956. During that time, A.I. has pretty successfully maintained an aura of arcane impenetrability, funneling off billions of dollars in research grants... while delivering almost nothing that can really be called 'intelligent'! This Web-branch will try to provide an overview of the state of AI, emphasizing one obscure sub-specialty called 'story representation' that I anticipate will be the key to future successes. I'm more or less an outsider to the world of AI, having read very little and taken only a couple of college courses. But from 1989 to 1992 I was one of the seni Read More
Go to Site

Index of /Groups/AI/html/faqs/ai/ai_general

 Votes:0
Index of /Groups/AI/html/faqs/ai/ai_general Name Last modified Size Description Parent Directory 08-Jul-1999 16:38 - ai_1.faq 08-Jul-1999 16:38 51k ai_2.faq 08-Jul-1999 16:38 68k ai_3.faq 08-Jul-1999 16:38 63k ai_4.faq 08-Jul-1999 16:38 77k ai_5.faq 08-Jul-1999 16:38 43k ai_6.faq 08-Jul-1999 16:38 68k ai_7.faq 08-Jul-1999 16:38 55k Apache/1.3.27 Server at www.cs.cmu.edu Port 80 Read More
Go to Site

Index of /research

 Votes:0
Index of /research Name Last modified Size Description Parent Directory 12-Oct-2007 11:08 - NSLabs/ 27-Oct-2005 10:26 - apcrypt/ 26-Sep-2006 20:37 - ccsr/ 13-Nov-2007 12:29 - cebar/ 28-Feb-2005 11:51 - crypt/ 28-May-2007 10:00 - csew/ 30-Oct-2005 10:38 - health_informatics/ 17-Feb-2003 12:49 - jucs/ 17-Jul-2006 14:26 - misg/ 20-Feb-2007 15:20 - pg_colloquim/ 21-Mar-2005 10:43 - postgrad/ 21-Feb-2003 15:44 - smicl/ 10-Feb-2006 11:59 - Read More
Go to Site

Innovatia Software White Papers

 Votes:0
Innovatia Software Providing Engineering Services and Solutions Home Credentials Publications White Papers White Papers This page is where I will periodically publish papers containing the results of both past and current research. Some of the papers will be based on my past publications , but many will be more fundamental and tutorial in nature. Forthcoming papers will be on such subjects as Kalman filtering, minimax filtering, fuzzy logic, neural networks, splines, function approximation and interpolation, digital signal processing, numerical integration, root-finding, and software engineering. Kalman Filtering Minimax Filtering Hybrid Kalman / Minimax Filtering Fuzzy Filtering Gradient Descent Optimization of Fuzzy Functions Genetic Optimization of Fuzzy Functions Book Reviews Additiona Read More
Go to Site

Institut fÜr Neuroinformatik [Systems Biophysics - Research]

 Votes:0
Systems Biophysics - Research Home "> SysBio "> Research The Institute ¤ People ¤ Courses ¤ Graduate study ¤ Events ¤ Directions ¤ Search ¤ FTP Server Theoretical Biology Systems Biophysics ¤ People ¤ Publications ¤ Research ¤ Diploma Theses ¤ Contact Computer Vision Robotics Biologically Motivated Models Growing Self-Organizing Networks For general inquieries, please send an e-mail to contact@neuro