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 provisio ...

Announcements: GenetScope-Netsim2 Beta version released. Available through JITC authorization. (more) Commuting with web-based near real-time traffic and weather information (more) Members of ACIMS were recently presented with Golden Eagle Awards by the Joint Interoperability Test Command (JITC) Commander and the Program Manager of the Northrop Grumman IT (NGIT) Team (UA News) (more ) View the Web-Based DEVS models as a part of the DEVS Publication System ACIMS-initiated fire spread mod ...

The Advanced Manufacturing & Mechatronics Centre The AMMC is a multidisciplinary centre which comprises of staff from the School of Mechanical and Manufacturing Engineering and the School of Electronic Engineering. The AMMC is a Faculty Centre within the Faculty of Technology at Middlesex University. The facilities of the Centre are based at Bounds Green -London- and include the following equipped laboratories: Machine Tools Workshop. Metrology Laboratory. Robotics Laborator ...

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. Thi ...

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 ...

Home | Technology | Research | Achievements | Projects | Courses| People | Working With AIAI | Events | Contact AIAI is a technology transfer organisation that promotes the application of Artificial Intelligence research for the benefit of commercial, industrial, and government clients. AIAI has considerable experience of working with small innovative companies, and with research groups in larger corporations. AIAI specialises in Intelligent Systems - systems making use of the kno ...

Technical Reports | Project Reports The AIAI Technical Report Series was transferred to the School of Informatics Publications on January 1st 2000. This page gives details of AIAI Publications prior to that date. In addition to listings of all our Technical and Project Reports, selected publications are available here in full as printer-ready PostScript, usually zipped or gzipped. A index of many of the on-line AIAI publications is available. You might also like to try our Projects Pa ...

american association for artificial intelligence american association for artificial intelligence welcome to the american association for artificial intelligence! Founded in 1979, the American Association for Artificial Intelligence (AAAI) 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 intelligenc ...

Animated GIFs CSS Database Design E-Commerce Flash HTML HTML 4.01 Tags Java JavaScript .NET PHP Reference Security Site Management XML/RSS Client-Side Development CSS Graphics HTML JavaScript XML Dreamweaver/FrontPage Multimedia General Accessibility Server-Side Development ASP Perl PHP .NET Java SQL Other Web Development Business Issues Business Matters We ...

AOL & AIM Sign InAOLWeb VideoNEW! Local Images Music Shopping Businesses, Events & MoviesAddress, City & State or ZIP inclick here to view a screen reader friendly version of this site Make This My Home Page Get Free AIM E-mail Join AOL June 10, 2006Good Afternoon NewsEntertainmentLifestyleMarketplaceShopping Massive Meteor Wipes Out Species 300-Mile-Wide Hole Found Is It to Blame for Extinctions? Cat Chases Bear Up Tree, Twice Owner Glad 'Jack's on Duty' On-Demand News Videos Pa ...

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 thin ...

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.

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 ...

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 ...

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 Maryla ...

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 ...

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 con ...

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

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 ...

Cette page a déménagé ! Dans 5 secondes, vous allez être automatiquement redirigé vers la nouvelle page de garde du site: http://www.trop.uha.fr Pensez à mettre vos marque-pages à jour ! webmaster@uha.fr

Welcome 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 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 result ...

Research areas at Chair Informatik I Fuzzy Logic Theory and Applications Contact: Dr. Karl-Heinz Temme e-mail: temme@ls1.informatik.uni-dortmund.de Phone: (02 31) 7 55 63 73 In the field of fuzzy logic theory basic research work is done on the topics of fuzzy quantors and implications, approximate modus ponens, variants of the compositional rule of inference, correctness and equivalence of the FITA and FATI principles, analysis of rule-based fuzzy systems, fuzzy temporal logic. ...

click anywhere on image to proceed

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 provi ...

COMPUTATIONAL LOGIC, INC. Austin, TX From its founding, in 1983, through 1997 Computational Logic Inc. (CLI) performed advanced research and development in mathematical modeling of digital hardware and software systems. This web site provides an archive for those results. Background Research Abstracts News Software Reports FTP Hardware Bibliography Some results of particular interest: Preliminary Formal Definition of the Java Virtual Machine In collaboration wi ...

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 ...

Dendronic Decisions Limited Advanced Computing Research -- Expertise in Machine Learning HomeApplicationsTechnologyArticlesProductsNewsCompany Dendronic Decisions develops software used in forecasting, data analysis and pattern recognition. It is particularly useful where real-time response and 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). You can also cla ...

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 News & Misc Education Seminars/Conferences Research People Publications Finding Us Search Populärvetenskaplig beskrivning Most recent publications [Browse recent publications] Conference Contribution: Karl-Erik ...

The Stanford Dextrous Manipulation Laboratory is affiliated with the Center for Design Research (CDR), which is part of the Design Division of the Department of Mechanical Engineering at Stanford University.Laboratory Location: Mecahnical Engineering Research Laboratory 418 Panama Mall Building 660 Rm 132 Campus Map (Marked "Mech Eng." next to Bldg 560)Mailing Address: Dextrous Manipulation Lab Center for Design Research 424 Panama Mall, Bldg. 560 Stanford, CA 94305-2232 (650) 723-4258 (Lab) (650) 725-8475 (Fax)NEWS and archives

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 ...

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] ...

This is the Formal Methods Group as it used to work at the Institute for Computer Design and Fault Tolerance at the University of Karlsruhe. In the meantime, some of us spread out through the world, but you can still find our current homepages by clicking our names or our heads on the photo. Michael Baldamus Kai Kapp Jorgos Logothetis Viktor Sabelfeld Klaus Schneider Tobias Schüle Roberto Ziller T H E F M G S T A F F

SRI Computer Science Laboratory Contact People 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 -Survivability and High-assurance Assessments Research Program (SHARP) Projects at CSL Division Home Formal Methods and Dependable Systems Th ...

Home Research Publications Software 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 ChangVijay GaneshEr ...

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 a ...

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 tradit ...

Please use a JavaScript-enabled browser! Get Microsoft Internet Explorer 4.0 for the best out of this site. For the meanwhile, you will have to use the text-based index to navigate the site. Sorry, JavaScript required for this. What is Natural Language Natural Languages are languages used in human culture such as chinese, english or bulgarian. They can be either spoken or written. What is Natural Language Processing? NLP (Natural Language Processing) is a field in AI involving anythi ...

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 behavi ...

Die neue Web-Seite des IPVS (Institut für Parallele und Verteilte Systeme) lautet http://www.ipvs.uni-stuttgart.de

We have been developing various kinds of robotic systems, such as snake-like arms and locomotors based on the biomechanical study of the real snake, quadruped walking robots, and crawler vehicles. We also have been studying basic disciplines, such as novel design principles for mechanical system, sensing devices, and control systems. We are determined to continue the research and contribute to the society by supplying practical robotic systems applicable for various fields, such as rescue operation, demining and assistance of elderly and physically challenged persons.

Address Machine Intelligence Unit Indian Statistical Institute 203 Barrackpore Trunk Road Kolkata 700 108, INDIA Tel. : (+91) (33) 2575-3100 Fax : (+91) (33) 2578-3357 (+91) (33) 2577-3035 E-mail : Back to Top Questions or problems regarding this web site should be directed to webmaster. Last modified: Tuesday April 25, 2006 12:35 PM.

The Field Robotics CenterAt Carnegie Mellon's Robotics InstituteHome 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.

Introduction Education Research Staff Publications Thesis Facilities Projects IMSRI Find us Department Workpartner- Next Generation Service Robot Mikrosysteemien protopaja Address: Automation Technology Laboratory P.O BOX 5500, 02015 TKK Finland Street address: Automation Technology Laboratory Otaniementie 17, 02150 Espoo FinlandTel: +358-9-451 3301 Fax: +358-9-451 3308

Sede legale: Via Cappuccini, 8 20122 Milano Sede operativa: Via Tazzoli 6 20154 Milano Tel. +39-02-29061262 Fax +39-02-6598897 Email: info@icenet.it Siamo spiacenti, la pagina richiesta non esiste torna alla home page © Copyright 1995-2005 Internet Centre of Excellence - All rights reserved worldwide

The new Home Page of IFSA.

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@neuroinformatik.ruhr-uni-bochum.de. Last Update 2006-01-18 by

About ANC | People | Research | Study | Events | Links | Vacancies | Contact | Search School of Informatics | ANC Local Pages (local access only) | Bioinformatics Machine Learning | Neuroinformatics | University of Edinburgh

Department of Computing Science Research group on Intelligent Computing The Intelligent Computing Group is broadly experienced in computational techniques and AI for a wide range of information analysis and knowledge acquisition applications. The group cooperates actively within several research projects in the public and private domains. In the Computational Finance project Portfolio optimization and Stock Trading Simulations are analyzed. The Image Analysis project aims at developing ...

Knowledge/Intelligence Systems Laboratory Welcome to the knowledge/Intelligence Systems Laboratory in the Department of Mechanical and Industrial Engineering at the University of Toronto. Personnel Principal Investigator Prof. I. B. Türksen Post Docs Emel Hacimenni, Ph.D. Ibrahim Ozkan, Ph.D. Ph.D. Candidate Cagdas Arslan M.A.Sc. Candidate Asli Celikyilmaz M.Eng. CandidateAdwait Kulkami Edwin Chung Associates Kemal Kilic, Ph.D. Mehm ...

Intelligent Robotics Lab Welcome to the Intelligent Robotics Lab Check out our movies! We work on: Robot learning Reinforcement learning Robot navigation Evolutionary Computation applied to robotics Cognitive Robotics Cosy... Cognitive Systems for Cognitive Assistants With Jeremy Wyatt, Aaron Sloman and several other sites in the European Union, the lab is involved in a project directed at a multi-disciplinary investigation of a number of significant scientific problems inv ...

The Intelligent Systems and Robotics Center (ISRC) leads the world in responding to challenges impacting national security and U. S. economic competitiveness. Major Accomplishment at White Sands Good news: Medical device being deployed Comments and questions to robotic-center@sandia.gova U. S Department of Energy national security laboratory Last updated 12/21/2005 Webmaster Privacy & Security Notice

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 meth ...

Isabelle · · Navigation Home Overview Logics Installation Download Documentation Community Site Mirrors: Cambridge (.uk) Munich (.de) Sydney (.au) What is Isabelle? Isabelle is a popular generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow). See the Isabelle overview. This site provides general information on Isabelle, more specific information is available from the local sit ...

Information Systems and Insect Studies Lab General Information The ISIS lab was created in 1988 to investigate the application of artificial intelligence to agricultural and entomological problems. Current Research Crop Rotation Planning System (CROPS) Nutrient Management System (NUTMAN) Virginia Insect Control Expert for Corn (VICE-Corn) Boll Weevil Overwintering Model Intelligent Simulation Language Soybean Variety Selection Model Case-Based Reasoning Approach to Evaluatin ...

Technology for analysis and synthesis of high-assurance software applications Kestrel Institute is a non-profit computer science research institute. Our mission is to make formal methods work in practice. We develop and apply technology for synthesis and automated analysis of mission-critical systems. Based on methods from logic, algebra and category theory, our advanced automated generators combine general algorithm and data-structure design ...

click anywhere in the picture to continue New! Segway - the roboticization of the Segway Human Transporter

Home Contact Research Teaching People Jobs Demos Software Research and education at CIS The Laboratory of Computer and Information Science (CIS) is one of the laboratories of the Department of Computer Science and Engineering at the Helsinki University of Technology. The mission of the laboratory is to conduct research and provide education in the area of adaptive informatics. By adaptive informatics we mean a field of research where automated learning algorithms are used to discove ...

For the majority of mollusks, the visible organic form has little importance in the life of the members of a species, since they cannot see one another and have, at most, only a vague perception of other individuals and of their surroundings. This does not prevent brightly colored stripings and forms which seem very beautiful to our eyes (as in many gastropod shells) from existing independently of any relationship to visibility [Italo Calvino] The Babybot project:looking for a dream or r ...

UFECEMIL People Research Projects Education Publications REU Machine Intelligence Laboratory Electrical and Computer Engineering Dept. Active Projects Micro Air Vehicles MIL's goals are to develop basic research and technologies, enabling unprecedented capabilities for Micro Air Vehicles (MAVs) and small Unmanned Air Vehicles (UAVs). Potential missions we are contemplating are search and rescue, moving-target tracking, immedia ...

CS Home / Index / People / Research / Publications / Machine Learning Machine Learning and Biological Computation Group Link to: Internal Page for MLBC members Overview The Machine Learning and Biological Computation Group is interested in general principles underlying learning and intelligence in machines and biological systems. Group members specialise in the following areas, but continuously seek to evaluate their work in the broader context: Machine Learning: Learning with higher-o ...

DIPARTIMENTO DI INFORMATICA Università di Torino The Machine Learning group at the Dipartimento di Informatica, Università di Torino is part of a larger research group on Artificial Intelligence, and is active since 1984. In 1998, due to the birth of the Università del Piemonte Orientale, part of the group joined the new University and started a fresh research group there. Components of the group are: At Università di Torino: Francesco Bergadano (Full Professor ...

Medical I.D.E.A.S. Research Group (I.D.E.A.S. : Intelligent DEcision Aid System) "In attempting to arrive at the truth, I have applied everywhere for information, but in scarcely an istance have I been able to obtain hospital records fit for any comparison. If they could be obtained, they would enable us to decide many other questions besides the one alluded to." - Florence Nightengale, Notes on the Hospital, 1873. VISION: Our vision is to improve patient care through the development ...

Model Checking @CMU [Home][People][Software][Publications][Support][Links] [Internal] Model checking is a method for formally verifying finite-state concurrent systems. Specifications about the system are expressed as temporal logic formulas, and efficient symbolic algorithms are used to traverse the model defined by the system and check if the specification holds or not. Extremely large state-spaces can often be traversed in minutes. The technique has been applied to several compl ...

Welcome to the MONA project home page! Introduction - see what the MONA project is about. Demonstration - try the live interactive demo of MONA! Downloading - get the complete source code for MONA version 1.4-7. Manual - read the User Manual for MONA version 1.4. Papers - read about MONA and its applications. Status - current project status and future plans. Related Projects - our collection of links to related projects. MONA People - the people behind MONA. If you have any questions, bug reports or ideas for future versions, please contact us by email on the address mona@brics.dk. Last updated July 5 2004 by Anders Møller

The NAFIPS web site has moved. Please bookmark http://nafips.org. Home History NAFIPS' Journal Publications Meetings Online Resources Welcome NAFIPS' Mission Join NAFIPS NAFIPS Mailing List The NAFIPS Board Bylaws Did you enjoy NAFIPS-2004 in Banff? (... have a look at the Photo Gallery!) Don't forget to mark your calendars for NAFIPS-2005 Ann Arbor, Michigan, June 22-25, 2005 Welcome to the North American Fuzzy Information Processi ...

home welcome quick page philosophy team research quote links new? home This page was last modified: 26 September 2003 (10:03:53) Welcome to the NASA Langley Formal Methods Site If you are not familiar with formal methods, you might want to start your exploration by visiting our pages that try to answer the questions, Why is Formal Methods Necessary? and What is Formal Methods? If you are familiar with formal methods, you will probably be most in ...

Note: the NASA Space Telerobotics Program was shut down in 1997, and the research and technology development task supported by the program were transferred to other efforts. This site is kept on line for historical purposes, and as a reference for the robotics community. It reflects the state of robotics technology as it was at the end of the program in 1997, and not the current NASA efforts in robotics technology and space system development. The NASA Space Telerobotics Program is an ...

Group Leader: Professor Paulo Lisboa Link to group publications The Statistics and Neural Computing Group is active across the full range from methodological to applied research, involving 2 faculty staff, 3 postdoctoral research assistants and 5 research students who engage in academic research and industrial consultancy, in the following areas: International research collaborations Alfredo Vellido ...

Briefing about Neural Nets Use powerfull tools to make your investment to perform better What are Neural Nets?Neural Nets are simulations of the human brain. A computer program predicts forecast values based on historical time series of stocks, indexes or other combinations. Layers of simulated brain cells are connected intelligently. The result is a kind of parallel computer system with superior capabilities. Better forecast qualityA neural net permanently learns by continuous ...

NEURAL NETWORKS by Christos Stergiou and Dimitrios Siganos Abstract This report is an introduction to Artificial Neural Networks. The various types of neural networks are explained and demonstrated, applications of neural networks like ANNs in medicine are described, and a detailed historical background is provided. The connection between the artificial and the real thing is also investigated and explained. Finally, the mathematical models involved are presented and demonstrated ...

The Neural Networks and Machine Learning group's page has now moved to: http://learning.cs.toronto.edu Please update your links.

Diese Seite auf Institute for Software Engineering and Theoretical Computer Science Department of Electrical Engineering and Computer Science Berlin University of Technology Head: Prof. Dr. rer. nat. Klaus Obermayer The NI group focuses on topics in computational neuroscience, machine learning and artificial neural networks, and applications to biomedical image and signal processing. Research Publications Software Events Courses People Job Openings ...

NeuroSolutions Home | Products | Downloads | Resources | Support | Order NeuroDimension Home ' Products NeuroSolutions NeuroSolutions for Excel Custom Solution Wizard NS for MATLAB Source Code License Interactive Book Neural Network Course Other Products Downloads Free Evaluation Copy Product Updates PowerPoint Presentation Documentation Drivers Resources Intro to Neural Networ ...

A Summary of New Results in Mathematics Obtained with Argonne's Automated Deduction Software This page covers work up through 1995. The results were obtained with various programs associated with Argonne's automated reasoning effort. The NIUTP/AURA series of the 1970s and early 1980s LMA/ITP of the 1980s Otter, our current prover EQP, an experimental AC prover for equational logic MACE, a model searcher In all cases, the results were unknown (as far as we know) before the work, an ...

Research Project: Evolutionary Algorithms Mixed Boltzmann-Darwin strategies Research: Investigation of the general principles of evolution and their application to optimization algorithms. Well known examples of these Evolutionary Algorithms are Genetic Algorithms and Evolutionary Strategies. Our research concerns: General properties of fitness landscapes Convergence velocity of Evolutionary Algorithms Genotype-Phenotype mapping and mutations operators Evolution on sequen ...

The CMU Robotics club website has changed. The new website is at www.roboticsclub.org. Your browser will now redirect you.

Some Current Research Areas Knowledge Representation on the World-Wide Web - SHOE Multi-modal Adventures for Group Interaction and Collaboration - MAGIC Lab Personal Electronic Teller of Stories - PETS (collaboration with HCIL2) Parallel Knowledge Representation - PARKA Autonomous Mobile Robotics Laboratory - AMRL Some Past Research Areas Hierarchical Task Network Planning - UMCP High Performance Case-based Planning - CaPER Real-Time A.I.Systems Intelligent Tutoring System for Arabic and Spanish Hybrid Symbolic/Connectionist Systems Research / Personnel / Papers / Software

Prover Technology has acquired Stockholm-based Industrilogik, a leading provider of services and technology for the Scandinavian rail control system market. Read more... Prover iLock accelerates development and reduces cost of provably correct rail control systems. Read more about Prover iLock Verifier, Prover iLock Planner, and Prover iLock Extractor. Read more.... Strengthen your software offerings by integrating Pro ...

Playground Publications Overview Papers Kenneth J. Goldman, Bala Swaminathan, T. Paul McCartney, Michael D. Anderson, Ram Sethuraman. The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications. IEEE Transactions on Software Engineering, 21(9):735-746, September 1995. Kenneth J. Goldman, T. Paul McCartney, Ram Sethuraman, Bala Swaminathan. The Programmers' Playground: A Demonstration. In Proceedings of the Third ACM International Multimedia Conference (MM'95), ...

Quick links... Jobs Students Home New Building Telephone Directory Contact Site Map -------------- Home News About Prospective Undergraduates Prospective Postgraduates Research People Alumni Search Intranet Home | News | About | Prospective Undergraduates | Prospective Postgraduates | Research | People | Search | Intranet Centre for Intelligent Systems and their Applications Directory Members Profile Publications Students Support Publications The DARPA High Pe ...

The rehabilitation robotics research program at the Applied Science and Engineering Laboratories (ASEL) consists of a collection of research projects to aid persons with manipulation disabilities. The diverse range of projects in this program focus on interactions between the human, the tool, and the environment. The Rehabilitation Robotics Research Program also hosts the Rehabilitation Engineering Research Center on Rehabilitation Robotics. About Us Overview | Support ...

JHU Home | ME JHU | Robotics JHU Any inquiries, please email: gregc@jhu.edu

Recent Addition: ACRA 2003 Demo Footage "Driver Assistance: Contemporary Road Safety" Andrew Dankers, Luke Fletcher, Lars Petersson, Alex Zelinsky. Visits to this Site |RSL| |PROJECTS| |PAPERS| |PEOPLE| |DEMOS| |EVENTS| |OTHER LABS| |CONFERENCES| |POSITIONS VACANT| |SYSTEMS ENGINEERING| |RSISE| |ANU| The Robotic Systems Lab (RSL) was established in October 1996 to undertake research projects with the R3 constraint. R3 means Real-robots working in the Real-world ...

rockies-robotics.com Your Electronics Resource Home Cell Phones Printers Digital Camera Digital Photo Printing Dish Network Satellite TV Robotics Science Engineering Technology Design Science News Robot Manufacturing US Robotics Mechanical Engineering Electrical Engineering Software Engineering Automation Industrial Engineering Special Effects Electronics Categories Mobile Technology Ringtones Cell Phone Plans Long Distance VO ...

rockies-robotics.com Your Electronics Resource Home Cell Phones Printers Digital Camera Digital Photo Printing Dish Network Satellite TV Robotics Science Engineering Technology Design Science News Robot Manufacturing US Robotics Mechanical Engineering Electrical Engineering Software Engineering Automation Industrial Engineering Special Effects Electronics Categories Mobile Technology Ringtones Cell Phone Plans Long Distance VO ...

rockies-robotics.com Your Electronics Resource Home Cell Phones Printers Digital Camera Digital Photo Printing Dish Network Satellite TV Robotics Science Engineering Technology Design Science News Robot Manufacturing US Robotics Mechanical Engineering Electrical Engineering Software Engineering Automation Industrial Engineering Special Effects Electronics Categories Mobile Technology Ringtones Cell Phone Plans Long Distance VO ...

Luleå University of Technology Papers Welcome to the Robotics department at Luleå University of Technology! The research at the department is specialized on telerobotics and models and algorithms for controlling the motion of robots using geometrical sensors. Robotics & Automation is a part of the department of Computer Science and Electrical Engineering at Luleå University of Technology. This multidiciplinary department has a wide competence in computer controlled industrial ...

ROBOTICS at Space and Naval Warfare Systems Center, San Diego The Space and Naval Warfare Systems Center, San Diego (SSC San Diego) and its predecessor organizations (NRaD, NOSC, NUC, etc.) have been involved in various aspects of robotics since the early 1960's. Robotics research and development at SSC San Diego are currently performed by two groups: The Advanced Systems Division (Code 237): land and air robots The Ocean Systems Division (Code 274): underwater robots Late in 2 ...

Cooperative Autonomous Robots for Hazardous Environments Group Welcome to the Robots for Hazardous Environments Group at Rice University. The focus of the group is on the study of fault detection and fault tolerance for robot systems used in hazardous environments. The environments include space applications and also environmental restoration of hazardous waste sites. The group has been a member of the Cross-Cutting and Advanced Technology Program at Sandia National Labs. Currently, ...

Robotics Robots are cool, you can build your own!. We built a small robot called the "Tutebot." It stands for tutorial robot. This robot is a simple bump, reverse and turn robot. We got the plans from a book at the library, it's called "Mobile Robots" by Joseph Jones and Anita Flynn. This is the tutebot. The weird shape on the front (red, yellow, white bricks) is the bumper. The wires on top connect the bumper, batteries and control system of the Tutebot together. This is ...

Intelligent Systems Lab School of Computing Science Simon Fraser University Page Menu Overview Address Sponsors Site Menu Home Members Projects Papers Local Overview The Intelligent Systems Lab is an applied research and development laboratory at Simon Fraser University under the auspices of the School of Computing Science. Our group conducts research in Constraint Programming methods employing constructive search, stochastic search and hybrid search ...

Search | Contact | SRI Home [Entrance to Building E] NEWSFri Jun 09 2006 Latest News Item: [more...!!] "Shakey selected for Robot Hall of Fame" Next AIC Seminar: [more...] Bayesian model specification, by Prof. David Draper, on Wed Jun 14 Did You Know?: SRI International was founded in 1946 BACKGROUND About the AIC Contact Us Join the AIC Visiting the AIC Search the AIC site PEOPLE Research Staff Visitors Facilities St ...

FrançaisContact usHelpSearchCanada Site About NRC-IITResearchCollaborationsNRC-IIT SiteNRC Site Welcome to the FuzzyCLIPS Web site Important Information The Web site you are about to visit is intended for research purposes only, and is therefore not to be considered as a service to the general public. Accordingly, and due to the highly technical and dynamic nature of these sites, certain content is presented in the language in which it was written and adherence to Government o ...

If you can see this, it means that the installation of the Apache web server software on this system was successful. You may now add content to this directory and replace this page. Seeing this instead of the website you expected? This page is here because the site administrator has changed the configuration of this web server. Please contact the person responsible for maintaining this server with questions. The Apache Software Foundation, which wrote the web server software this site administrator is using, has nothing to do with maintaining this site and cannot help resolve configuration issues. The Apache documentation has been included with this distribution. You are free to use the image below on an Apache-powered web server. Thanks for using Apache!

Advanced Search HISTORY In 1987, officials at the Egyptian Ministry of Agriculture and land reclamation, recognized expert systems as an appropriate technology for speeding development in the agricultural sector. To realize this technology, in 1989, the ministry initiated the Expert Systems for Improved Crop Management Project (ESICM) in conjunction with the Food and Agriculture Organization of The United Nations (FAO) and the United Nations Develo ...

Navigation News The Institute Scientific Research Valorization and Transfer Publication and Documentation Working and Training Shortcuts International Relations Documentation Centers Research Teams Activity Reports Research Reports and Thesis HAL-INRIA Open Archive Software Multimedia Resources INédit, Newsletter Interstices 20 years of companies creation The National Research Agency Search Access Maps INRIA Headquarters Domaine de Voluceau Rocquencourt - B.P. 105 7 ...

ProofPower Contributing Documentation Download Examples Getting Home Mailing List Papers Patches Specifications ProofPower is a suite of tools supporting specification and proof in Higher Order Logic (HOL) and in the Z notation. The suite comprises the following packages: PPDev - The ProofPower developer kit, mainly comprising SLRP, a parser generator for Standard ML. PPTex - The ProofPower interface to TeX and LaTeX. PPXpp - The X Windows/Motif front-end for ProofPower. PPHo ...

Ruby is a notation and design discipline intended for the development of regular integrated circuits and similar hardware and software architectures. The intention is to formalise the design techniques already used by practising engineers, making it easier to document design decisions, to compare alternative designs, and to produce proof of the correctness of an implementation. The general idea is that circuits and circuit components are represented by relations between the signals at the ...

Robotics Course In the Fall semester of 1994, Tim Becker, CB, Randal Nelson, Jonas Karlsson, and others ran a course in robot building, based on the Jones and Flynn book. It was a graduate course, and will migrate to the UG curriculum with the advent of suitable laboratory space, presumably linked to our starting a CS major. We had a ping-pong ball delivery contest and a lot of fun. This course resulted in four working robots, three papers in conferences, (so far) and a technical report ava ...

The University of Rochester Driving Simulator General Description The University of Rochester Driving simulator is a midrange cost simulator used for research in vehicle dynamics simulation, eye tracking experiments for studying the psychophysical aspects of human driving, virtual reality environments, and machine learning tasks. The simulator uses a virtual reality helmet and graphical rendering is done on a Silicon Graphics Reality Engine. The roar of an engine pipes through a speaker ...

The VASE Lab Information About the VASE Lab People Photos Projects Documents Presentations Technical reports Demos About the demos The Essex campus The VASE Lab Temple to Claudius Software About the software Miscellaneous Address info Travelling to Essex General documents Restricted access stuff Lab handbook Miscellania The Vision and Synthetic Environments Laboratory ("VASE Lab") of the Department of Electronic Systems Engineering of the University of Essex is ...

Formal Methods Object-Z B-Method The Z notation Last conference: ZUM'98, Berlin, Germany, 24-26 September 1998 Last meeting: ZUG meeting at FM'99, Toulouse, France, 20-24 September 1999 Last conference: ZB2000, York, UK, 29 August - 2 September 2000. The formal specification notation Z (pronounced "zed"), useful for describing computer-based systems, is based on Zermelo-Fraenkel set theory and first order predicate logic. It has been developed by the Programming Resear ...

CMU Artificial Intelligence Repository Fuzzy Logic areas/fuzzy/ com/ Commercial Fuzzy Logic Products and Companies doc/ Documentation and Bibliographies about Fuzzy Logic faq/ Fuzzy Logic FAQ: Frequently Asked Questions (FAQ) posting for comp.ai.fuzzy fuzzy/ Archives for the comp.ai.fuzzy newsgroup mail/ Information about Fuzzy Logic mail servers. systems/ Fuzzy Logic Packages Origin: ...

UPDATES BLEEX news! See the latest developments on the Berkeley Exoskeleton. Click here Some History ... See the cover story on Science News Magazine Lower Extremity Enhancer. Click here In Business... Our laboratory now offers Rapid Prototyping Services, and clients can order online through the new website. Click here In Research... Not just another fish story, fresh ideas from the lab: CALibot, the most naturally swimming robotic fish ever built. Click here ...

Department of Engineering University of Cambridge > Engineering Department Machine Intelligence Laboratory The Machine Intelligence Laboratory comprises three research groups: Computer Vision & Robotics Group Interpretation of visual motion, visual tracking, robot guidance, face detection and tracking, image segmentation and compression. Prof. Roberto Cipolla Dr Tom Drummond Medical Imaging Group Freehand 3D ultrasound for medical applications: calibration, acquisi ...

Computer Science and Engineering Building 2260 Hayward St. Ann Arbor, MI 48109-2121 (734) 764-4343 FAX: (734) 763-1260 University of Michigan Electrical Engineering and Computer Science Dept. College of Engineering Computer Science and Engineering Division Calendar of Events Conference Room Scheduler AI Equipment Scheduler OVERVIEW Director Message AI PEOPLE Faculty Staff Students Alumni RESEARCH Resear ...

Home Projects Robots People Publications Education The Robotics Research Laboratory is part of the Center for Robotics and Embedded Systems (CRES) at USC. Co-Directors: Prof. Maja Mataric´ Prof. Gaurav S. Sukhatme Labs Interaction Lab Prof. Maja Mataric´ Robotic Embedded Systems Lab Prof. Gaurav Sukhatme A CG flyby of the 2005 Tutor Office Space! (80Mb) Links Contact Information Tour Information Lab History Robot Movies Robot Software Internal Lab Documents Directions and Maps Copyright © USC 2000-2004. Maintained by: webmaster (at) robotics.usc.edu Last Modified: 10 Oct 2005

VISION RESEARCH GROUP Academic Staff Mohammed Bennamoun Amitava Datta Du Huynh Peter Kovesi Ryszard Kozera Robyn Owens Nick Spadaccini Postdoctoral Fellows Eunjung Holden Hongchuan Yu Research Students Michael Cheng Simon Collings Shih Ching Fu Angeline Loh Ajmal Saeed Mian Navid Mavaddat Daniel Wedge Andrzej Welna Tzu Yen Wong Units Computer Vision Robotics Completed Theses ConferencesProjects Automated Translation between Auslan and E ...

VASY Validation de systèmes Validation of systems * WHAT'S NEW? Goals People Publications Events Projects Software: CADP TRAIAN Jobs Contact us Search VASY FTP server VASY is seeking a software engineer VASY is seeking a PhD candidate VASY is seeking a post-doc candidate VASY 2005 Activity Report (PDF) VASY is a research team of INRIA working in the area of formal methods applied t ...

You are in the: Small Business Computing ChannelView Sites + » ECommerce-Guide | Small Business Computing | Webopedia | WinPlanet | »Close Enter a word for a definition......or choose a computer category. choose one... All Categories Communications Computer Industry Companies Computer Science Data Graphics Hardware Internet and Online Services Mobile Computing Multimedia Networks Open Source Operating Systems Programming Software Standards Types of Computers Wireless Com ...

Xavier and Amelia in the News Graduating Engineering, December 1996 US World and News (1st page, 2nd page), March 18, 1996 Discovery Channel Online, Interview, February 1996 and a Review, January 1996 Format NZZ show, January 1, 1996 (in German) Carnegie Mellon News, Volume 3, Number 8, December 1995 Pittsburgh Post-Gazette February 12, 1996 November 20, 1995 ( 1st picture, title and 2nd picture, 1st page, 2nd page ) Carnegie Mellon Magazine, Winter 1993 Orange Cou ...