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.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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   Objects and Scenes Read More Go to Site
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
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
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
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
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
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
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
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
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
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 — 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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@neuroinformatik.ruhr-uni-bochum.de . Last Update 2006-08-15 by < marco.mueller@neuroinformatik.ruhr-uni-bochum.de > Read More Go to Site
Votes:0 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 Read More Go to Site
Votes:0 Institute of Perception, Action and Behaviour (IPAB) Overview One of the central issues of 21st Century Informatics will be how to link, in theory and in practice, computational perception, representation, transformation and generation processes to external worlds. The external world may be the "real" world or another computational environment that has its own character. Examples of where this issue arises include bio-mimetic robotics, computer-based visual perception, dynamic control of the interaction of robotic systems with their environment or each other, computer-based generation of external phenomena, such as images, music or actions, and agent-based interaction with other agents or humans, as in computer games. The Institute of Perception, Action and Behaviour (formed 1998) is focus Read More Go to Site
Votes:0 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 methods which in the long run enables the implementation of a prototype system for computer aided mammographic screening. Intelligent computing in health care has a focus on computational and logic methods for various data analysis problems. The Robotics project is a new activity, where real physical robots Read More Go to Site
Votes:0 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 Comments and questions to robotic-center@sandia.gov a U. S Department of Energy national security laboratory Last updated 08/29/2006 Webmaster Privacy & Security Notice Read More Go to Site
Votes:0 Due to organizational changes, this page has been superseded by the following pages: E8 - Department of Knowledge Technologies E9 - Department of Intelligent Systems Read More Go to Site
Votes:0 Home About IJCAI IJCAI-07 IJCAI-07 Proceedings IJCAI-05 Proceedings Past Proceedings Past Conferences Future Conferences Trustees / Officers Contact Information Awards IJCAI is the International Joint Conference on Artificial Intelligence, the main international gathering of researchers in AI. Held biennially in odd-numbered years since 1969, IJCAI is sponsored jointly by IJCAI and the national AI societie (s) of the host nation(s). IJCAI-09 will be held in Pasadena, California, USA, from 11th July through 17th July 2009 . We look forward to seeing you there. Sad News The IJCAI Board of Trustees and the global AI community are saddened by the untimely death of Prof. Donald Michie on July 7, 2007.
Prof. Michie was an AI pioneer and for his sustained contributions to AI he received IJCAI's h Read More Go to Site
Votes:0 I nternational J ournal of I ntelligent E ngineering A pplications Prepublication, International Standard Serial Number
( ISSN 1091 - 1782 ) The mission of the IJIEA is to advance, promote, enhance, and develop engineering, science, business, and technology aspects of the applied
intelligent engineering field with research, industrial, business, and
engineering communities. IJIEA is the premier journal which is dedicated to the
interactive applications of A.I. The interactive application of A.I. is an
area which involves A.I. with interactive multimedia, virtual reality,
object- relational database, robotics, science, business, decision support,
and engineering related fields. The publication is published periodically. The IJIEA invites submission of application and research papers within Read More Go to Site
Votes:0 Welcome to the site of the International
Society of Artificial Life (ISAL) . To become an ISAL member,
click here ALife XI The Eleventh International Conference on the Simulation and Synthesis of
Living Systems will be held in Winchester, UK on August 5th-8th, 2008. VIDA 10.0 ,
Art & Artificial Life International Competition. 20,000 EUR in
prizes. ECAL 2007 The 9th European Conference on Artificial Life was held in Lisbon,
Portugal. September 10th-14th 2007. ALife X The Tenth International Conference on the Simulation and Synthesis of
Living Systems took place in Bloomington, Indiana, USA, June 3rd-7th,
2006. Webcast @ ComDig . The mailing list announce@alife.org has replaced the previous message board for ALife-related
announcements.
Please go to http://lists.idyll.org/listinfo/alife-anno Read More Go to Site
Votes:0 Institute for Research and Applications of Fuzzy Modeling University of Ostrava, Czech Republic HOMEPAGE INSTITUTE RESEARCH PUBLICATIONS INTERNAL MATTERS Description Projects Staff Co-operation Contact 30. dubna 22 701 33 Ostrava 1 Czech Republic Fax: +420 596 120 478 Homepage IRAFM Welcome to the WEB page of the I nstitute for R esearch and A pplications of F uzzy M odeling of the University of Ostrava in Ostrava, Czech Republic. Our institute is one of few research institutes in the world working in the field of Soft Computing. We have significantly contributed to the theory and developed various software tools that offer novel methods and that can be applied in various areas: control, decision-making, data analysis, analysis of signals, solving differential equations, and many others. C Read More Go to Site
Votes:0 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 sites Isabelle at Cambridge Isabelle at Munich See there for information on projects done with Isabelle, mailing list archives, research papers, the Isabelle bibliography, and Isabelle workshops and courses. Now available: Isabelle2005 Some highlights: Interpretation of locale expressions in theories, locales, and proof contexts. Substantial library improv Read More Go to Site
Votes:0 ISIS WWW Server 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 Evaluating Crop Rotations Virginia Insect Control Expert for Wheat (VICE-Wheat) Whole-Farm Planning System for Vegetable Farming ISIS Lab Personnel Nicholas D. Stone , Associate Professor Rebecca Scheckler , Senior Programmer/Analyst Prabhakar Bhogaraju , Graduate Student Jun Fan , Graduate Student Jose Lopez-Col Read More Go to Site
Votes:0 Ivelin Stoianov This page is designed to be used with frames. Your browser does not support them, so please follow this link: Ivelin Stoianov's non-framed page Read More Go to Site
Votes:0 Johann Borenstein Research Professor and Head of the Mobile Robotics Lab within the University of Michigan 's Department of Mechanical Engineering click here for alternative photos Research Interests: My main field of interest is Mobile Robotics. I started building my first mobile robot, the " Nursing Robot ," in 1983 as part of my D.Sc. Thesis. Since then I have been focusing on experimental work with mobile robots. I have authored or co-authored to date some 140 publications . These are my main areas of interest: Unconventional Robotic Vehicles Current work: OmniTread - An innovative serpentine robot (snakebot) capable of traversing extremely rugged terrain Earlier work: Hoverbot - An electrically powered flying robot Multi-Degree-of-Freedom (MDOF) - Mobile robot with unique mo Read More Go to Site
Votes:0 ISSN: 0334-1860 call for papers Welcome to the Journal of Intelligent Systems, an interdisciplinary journal dealing with the following areas: cognitive science artificial intelligence and its applications brain models artificial neural nets and their applications the social context of Intelligent Systems These pages should give you an insight into the journal, and contain a variety of information, including: Main index, contents and abstracts Aims and scope Editorial Board Guidelines for authors Copyright Form Subscription information, how to obtain full hard copy text The Journal of Intelligent Systems is published by: Freund & Pettman, PO Box 35010, Tel Aviv, Israel, 61350 http://www.freundpublishing.com/index.html Production Editor: Virginia Buchner, Ph.D., Freund Publishing House, P.O. Read More Go to Site
Votes:0 Please select Africa Asia Australia / Oceania Europe France Germany Italy North America South America Switzerland United Kingdom --> All Author/Editor Title ISBN/ISSN Series Journals Reference Works Series Contact Select your subdiscipline Aesthetics Ethics History of Philosophy Logic Metaphysics & Epistemology Non-Western Philosophy Ontology Phenomenology Philosophy of Languages Philosophy of Law Philosophy of Religion Philosophy of Science Political Philosophy Pragmatism Select a discipline Architecture & Design Astronomy Biomedical Sciences Business & Management Chemistry Computer Science Economics Education Engineering Environmental Sciences Geography Geosciences Humanities Law Life Sciences Linguistics Materials Mathematics Medicine Philosophy Physics Psychology Public Health Social S Read More Go to Site
Votes:0 Go to Japanese page. Access Map for JSK - Jouhou System Kougaku Laboratory. Laboratory Members. Our Research Project. Robotics Links. WELCOME TO 2007/3/12 (Mon) 6th the University of Tokyo Home Coming Day 2007/3/12 (Mon) 1st International Symposium on Information and Robot Technology 2007/3/7,8 (Wed,Thu) Akiba Techno Club (Review & Promotion) 2007/1/10 (Wed) Real-World Informatics Project of the 21st Century COE ( Ref. ) 2006/8/4 (Fri) Kickoff meeting of "Center of IRT" ( Ref. ) 2006/7/15 (Sat) "Engineering Education Laboratory (T-Lab)" the 1st. ( Ref. ) Copyright(C) 2003 JSK. All rights reserved. No reproduction or republication without written permission. If you have any troubles, please e-mail to Read More Go to Site
Votes:0 Data Mining, Web Mining, Text Mining, and Knowledge Discovery Data Mining Software | Data Mining Jobs | Data Mining Consulting help KDnuggets News , Data Mining & Knowledge Discovery newsletter: news, jobs, software, courses, and more. Subscribe here ( free ). KDnuggets News 07:n22, Nov 20: Netflix Prize; Ronny Kohavi interview; Givealink; IBM buys Cognos . KDnuggets News 2007 issues | Schedule | Archive | Submit an item Software: Suites , Text , Classification , Visualization Solutions: CRM , Marketing , Web Companies: Consulting , Products Datasets: Competitions , KDD Cup Web sites: Data Mining , Blogs , Forums KDnuggets Polls Netflix Grand Prize - when? Gregory Piatetsky-Shapiro Data Mining Consulting Jobs: ISO Academic/Research: U. Ottawa Courses : Data Mining, San Diego, Dec 3-7 Webca Read More Go to Site
Votes:0 * --> 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 principles with domain-specific
application knowledge. Located in Stanford Research Park, Palo Alto -- the birthplace of Silicon Valley --
Kestrel Institute is
close to such places as Stanford University , PARC , SRI and HP SRC Classic . Our researchers combine expertise in program synthesis,
theorem proving, category theory,
software environmen Read More Go to Site
Votes:0 Welcome to KIMURA Lab. Japanese version is here Hiroshi Kimura Robot photos &movies in our lab. Legged robots of the world Animals I met Laboratory News & Events Research Projects Publications Members Information The IJRR paper on Tekken1 is ranked as 24th in the 50 Most-Frequently Cited Articles of IJRR (Sep. 2007) Tekken4 Demo at Aichi Expo. Prototype Robot Exhibition AMAM (International Symposium on Adaptive Motion of Animals and Machines) 3rd (Ilmenau, Germany, September 25-30, 2005) 2nd (Kyoto, Japan, March 4-8, 2003) 1st (Montreal, Canda, August 8-12, 2000) Book of AMAM2000&2003 UEC (Univ. of Electro-Communications) UEC Home Page Graduate School of Information Systems Maps of UEC e-mail: www@kimura.is.uec.ac.jp Read More Go to Site
Votes:0 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 Ph.D. Candidate / Research Assistant Asli Celikyilmaz Associates Ibrahim Ozkan, Ph.D. Mohammad Hossein Fazel Zarandi, Ph.D. Ozge Uncu, Ph.D. Mehmet Bodur , Ph.D Taner Bilgic, Ph.D. Kemal Kilic , Ph.D. Research Areas/Projects · Robotics · Fuzzy-Neural Integration · Fuzzy Clustering · Reinforcement Learning · Supervised and Unsupervised Learning · Fuzzy Data Mining Software · Fuzzy System Modelling Demo Application Sponsors · Natural Sciences and Engineering Research Council (NSERC) · Nortel Networks · Information/Intelligence Corporation Other places of Read More Go to Site
Votes:0 laboratoire ModÉlisation, Intelligence, Processus et SystÈmes (MIPS) - TROP UniversitÉ de Haute Alsace Facult? des Sciences et Techniques 4 rue des Fr?res Lumi?re 68093 Mulhouse Cedex FRANCE Tel. : (+33) 3 89 33 64 88 Fax : (+33) 3 89 33 63 59 DerniÈre mise À jour : juillet 2007. Read More Go to Site
Votes:0 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 discover the
relevant informative concepts, components, and their mutual relations
from large amounts of data. Adaptivity enables
computers to adapt to the needs of individuals, groups, enterprises
and organizations in the changing world. Interfacing with the continuously growing amounts of data in scientific,
medica Read More Go to Site
Votes:0 Laboratory of Autonomous Robotics and Artificial Life Institute of Cognitive Sciences and Technologies , CNR Home | Members | Projects | Software | Publications | Media | Links | Address Italiano Home The Laboratory of Artificial Life and Robotics is an internationally recognized research group that carries out pioneering research in the area of artificial life, evolutionary robotics and emergence of communication. Our main research activity involves the study of artificial organisms that are embodied (i.e. that are controlled by an artificial neural network but that also have a body), situated (i.e. that interact with an external environment) and that adapt (i.e. that are part of a population that is subjected to an evolutionary process based on selective reproduction and/or to a learning Read More Go to Site
Votes:0 Robotics Lab > Home Introduction to the Robotics Laboratory Print The Laval University Robotics Laboratory is part of the Mechanical Engineering Department of the Faculty of Science and Engineering . Established in 1989 by Professor Clément M. Gosselin , the research team is now composed of more than twenty graduate students and research associates. Since January 2001, Professor Gosselin is holding a Canada Research Chair in Robotics and Mechatronics , a prestigious Canadian award. The research team has produced numerous publications and technical achievements. The research carried out in the Robotics Laboratory is funded by the major funding agencies such as the Natural Sciences and Engineering Research Council of Canada (NSERC) and the Fonds québécois de la recherche sur la nature et Read More Go to Site
Votes:0 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 rather for pictures and videos or Babybot on the press About us: a few words about the LIRA-Lab how to reach us ... Projects: the retina-like camera , our formalized projects , past and completed projects are here , collaborations ... ...and publications People : looking for staff , past visitors , or admin Read More Go to Site
Votes:0 UF ECE MIL People Research Projects Education Publications REU Machine Intelligence Laboratory Electrical and Computer Engineering Department 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, immediate bomb damage assessment, and identification and localization of interesting ground structures. Our work aims to allow such missions within very adverse environments, such as complex urban terrains, without substantial prior knowledge about these settings. Subjugator SubjuGator is an autonomous underwater vehicle designed and built by graduate and undergraduat Read More Go to Site
Votes:0 << 2007-8 >> Machine Learning | Home | Index | People | Research | Publications Department of Computer Science Machine Learning and Biological Computation Group MLBC Home People Research Publications Internal Pages Machine Learning & Biological Computation We study general principles underlying learning and intelligence and biological systems. Machine Learning - software that improves with experience How can machines make scientific discoveries and inventions? What can we learn from networks of interaction (e.g. social, financial, ecological)? Computational Biology - models of biological systems Do brain structures make optimal use of data? Do social insects and brains share common statistical models? Bio-inspired Computation - imitating nature's solutions How can we adapt robu Read More Go to Site
Votes:0 Machine Learning in Games has moved Machine Learning in Games is the new location.
There are many updates, corrections, and improvements at the new site. Some of the old pages are still here for now, but they will
be replaced by "we moved" links. Update your bookmarks! Read More Go to Site
Votes:0 D IPARTIMENTO DI I NFORMATICA 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 of Computer Science) Marco Botta (Assistant Professor of Computer Science) Daniele Gunetti (Assistant Professor of Computer Science) Cristina Baroglio (Assistant Professor of Computer Science) Giuseppe Lo Bello (Ph.D.) Roberto Piola (Ph.D.) Giancarlo Ruffo (Ph.D. student of Computer Science) At Univers Read More Go to Site
Votes:0 HMP Webmaster We have moved! Keele University Human and Machine Perception Research Group pages have moved. Click here for the new Human and Machine Perception pages. Please update your bookmarks! Read More Go to Site
Votes:0 « TKK « AS-osasto | Sitemap Automation Technology Laboratory Helsinki University of Technology Home Dear Reader Getting Here Facilities Studies Courses SpaceMaster Field Robot Event Research Generic Intelligent Machines Forestry & agriculture Submarine applications Energy & fuel cells Home & building automation Space applications Other projects Publications Articles Laboratory Reports Technical Reports Theses Books Staff Personal pages Laboratory map Intranet Highlights Laboratory map GIM - ?lykk?iden koneiden huippuyksikk? Work Partner AS-tutkinto-ohjelman kandidaattiseminaari Contact details Street address Otaniementie 17, Espoo Postal address PL 5500, 02015 TKK, Finland Telephone +358 9 451 3301 Fax +358 9 451 3308 The SUBMAR system during testing TKK Automation Technology Laboratory A Read More Go to Site
Votes:0 Medical I.D.E.A.S. Research Group ( I.D.E.A.S. : I ntelligent DE cision A id S ystem) "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 of an integrated computer information system using artificial intelligence which will aid the clinician in medical decision-making by quickly providing the natural histories of closely matching patients and an estimate of selected patient outcomes . Researchers Graduate Students Research Papers Read More Go to Site
Votes:0 mindless mechanisms, mindful constructions SEHR, volume 4, issue 2: Constructions of the Mind Updated 4 June 1995 mindless mechanisms,mindful constructions an introduction GÜven GÜzeldere & Stefano Franchi The Handbook of Artificial Intelligence gives the following definition of artificial intelligence (AI): Artificial Intelligence is the part of computer science concerned with designing intelligent computer systems, that is, systems that exhibit the characteristics we associate with intelligence in human behavior--understanding language, learning, reasoning, solving problems, and so on. 1 This characterization, and the technological future it imagines, are both products of recent decades, and highly dependent on the birth and development of the digital computer. But the broad aspirations Read More Go to Site
Votes:0 About CSAIL Lab Organization Directory Faculty Research Activities Events News Awards Outreach Joining CSAIL Member Resources Contact Us NOKIA / CSAIL LAB T-PARTY MAJOR INITIATIVES Congratulations! Seven CSAIL members are among the fifty granted tenure by the MIT Corporation . Associate professors Erik Demaine, Michael Ernst, Piotr Indyk have been granted tenure. Joshua Tenenbaum has been promoted to associate professor with tenure. John Leonard, Seth Teller, and Brian Williams have been named full professors. Upcoming Seminars: Monday November 19th Artificial Intelligence Seminar Series: Koby Crammer - Learning from Related Sources Mohammad Amin - Adiabatic Quantum Computation with Noisy Qubits Tony Chan - Mathematical approaches to some image processing and computer vision problems Tuesd Read More Go to Site
Votes:0 Home People Projects Publications Policy FAQ Press Vintage Rosalind Picard Hyungil Ahn Shaundra Daily Hoda Eydgahi Mohammed E. Hoque Rana el Kaliouby Kyunghee Kim Jackie Lee Rob Morris Selene Mota >>> Newest Alumni: Win Burleson Phil Davis Ashish Kapoor Nikolaos Mavridis Yuan (Alan) Qi Seth Raphael Carson Reynolds Alea Teeters MIT Media Lab: Affective Computing Please see this FAQ before emailing us your questions. Affective Computing is computing that relates to, arises from, or deliberately influences emotion or other affective phenomena. Emotion is fundamental to human experience, influencing cognition, perception, and everyday tasks such as learning, communication, and even rational decision-making. However, technologists have largely ignored emotion and created an often frust Read More Go to Site
Votes:0 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 complex industrial systems such as the Futurebus+ and the PCI local bus protocols. Here is an overview . The Model Checking Group is part of the Specification and Verification Center at CMU . news/events July 15 2006 VCEGAR v1.0 binary release May 20 2006 SatMate binary release Mar 24 2005 VCEGAR v0.9 binary rele Read More Go to Site
Votes:0 Machine Vision and Intelligent Systems Group is divided into two research groups: Machine
Vision Group Intelligent Systems
Group Both groups are members of MVMP - Machine Vision and Media Processing Unit. Please, follow the links above and update your bookmarks. Read More Go to Site
Votes:0 home welcome quick page philosophy team research quote links new? home This page was last modified: 26 September 2003 (10:03:53) Page of the Month: IRIA 2003 --> 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 interested in seeing information about the work that we`re doing now and have done in the past .
We also have information about
our research team .
A paper about our program is available in PostScript and PDF formats
( Download Adobe Acrobat Reader from the Adobe site if needed). After you have explored our site fo Read More Go to Site
Votes:0 people have dropped in to see this page. Please email the site web master with any comments, criticisms or corrections for this page. Maintained by: Dave Lavery Last updated: March 02, 1998 Read More Go to Site
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 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 - SOCO, Universitat Politecnica de Catalunya Antonina Starita, Alessio Micheli - Dipartimento Read More Go to Site
Votes:0 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 quality A neural net permanently learns by continuous training, so that it delivers forecasts with superior quality. This does not mean, that a precise one day quote value should be delivered. But a neural net is able to determine the right direction of movements of markets. In other words, it is an ideal market timing instrument. A perfect timing system A net based Read More Go to Site
Votes:0 Up: Up Neural Nets: Dr K Gurney Neural Nets: Contents by Chapter 1: Computers and Symbols versus Nets and Neurons 2: TLUs and vectors - simple learning rules 2(s): TLUs and vectors - summary 3: The delta rule 4: Multilayer nets and backpropagation 5: Associative memories - the Hopfield net 6: Hopfield nets (contd.) 7: Competition and self-organisation: Kohonen nets 8: Alternative node types 9: Cubic nodes (contd.) and Reward Penalty training 10: Drawing things together - some perspectives Up: Up K.Gurney@aivru.shef.ac.uk Read More Go to Site
Votes:0 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. Contents : 1. Introduction to Neural Networks 1.1 What is a neural network? 1.2 Historical background 1.3 Why use neural networks? 1.4 Neural networks versus conventional computers - a comparison 2. Human and Artificial Neurones - investigating the similarities 2.1 How the Human Brain Learns? 2.2 From Human Neuron Read More Go to Site
Votes:0 Ihr Browser unterstÜtzt noch keine Frames. Sie sollten sich eine neue Version besorgen. Hier auswÄhlen um die Version ohne Frames zu laden Your browser cannot display frames. You may want to obtain a new version. Select here to load the version without frames. Read More Go to Site
Votes:0 The Neural Networks and Machine Learning group's page has now moved to: http://learning.cs.toronto.edu Please update your links. Read More Go to Site
Votes:0 NeuroCOLT Neural Networks and Computational Learning Theory About NeuroCOLT Papers Archive Research Areas Partners Coordinator Events info@neurocolt.org WebSite of the ESPRIT working group on Neural and Computational Learning Theory "NeuroCOLT 2" info@neurocolt.org Read More Go to Site
Votes:0 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 Networks Customer Quotes Customer Interviews News and Reviews Newsletters Academic Application Summaries Search Support FAQ Licensed User Center Extended Support Contact NeuroDimension Order Product Pricing Level Summary Ordering Information Order Online Now ND Corporate Website TradingSolutions.com What is a Neural Network? A neural network is a powerful data modeling tool that is able to capture and represent complex inp Read More Go to Site
Votes:0 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, and one of the programs was used in a substantial way.
The degree of contribution by the programs ranges from providing
insight for a hand proof to finding a proof with no guidance from the user. Contents Algebraic Geometry Cancellative Semigroups on a Cubic Curve Uniqueness of the 5-ary Steiner Law Cancellative Read More Go to Site
Votes:0 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 sequence spaces The project EVOALG is supported by the BMBF : The Project Some papers about Evolutionary Algorithms CONFERENCE: PARALLEL PROBLEM SOLVING FROM NATURE (PPSN) Information on past PPSN's COOPERATION: System Analysis Research Group, University Dortmund Siemens AG, Muenchen Evolutionary Computation of TU-Berlin STAFF Read More Go to Site
Votes:0 Welcome to the AUV Homepage The AUV program is an ever expanding field of study here in the Ocean Engineering department. Small, low cost, long range vehicles have been developed as sensor platforms for educational, scientific, and military applications. Currently, two separate vehicles are under construction/development/refinement: the Ocean Voyager II and the Ocean Explorer series. Several projects directly related to the vehicles themselves are underway here at the F.A.U. Ocean Engineering Department and at the University of South Florida Marine Science Department. Some of these include CHIRP sidescan and sub-bottom sonar, passive imaging sonar, long baseline sonar, acoustic modems, exotic batteries, ocean small-scale turbulence sensors, and various suites of water quality packages. OCE Read More Go to Site
Votes:0 The CMU Robotics club website has changed. The new website is at www.roboticsclub.org . Your browser will now redirect you. Read More Go to Site
Votes:0 Older Preprints/Publications on Neural Computing Topics Our new preprint server is located here . The preprints are available in the form paper.ps.gz. They may be
transferred by clicking the year of the paper. Once files have been transferred they may be uncompressed with the
command gzip -d paper.ps.gz or gunzip paper.ps.gz. 1994 Using Features for the
Storage of Patterns in a Fully Connected Net S
Coombes and J G Taylor 1994 Constructing Feed-Forward Neural Networks for Binary Classification Tasks C Campbell and C Perez Vicente 1995 The Storage and Stabilisation of Patterns in a Hopfield Net S Coombes and J G Taylor 1995 Principal Components and Pattern Storage in a Fully Connected Net S Coombes and J G Taylor 1995 Determining the Optimal Number of Hidden Nodes in a Feed Forward Network Read More Go to Site
Votes:0 Where Intelligent Technology Meets the Real World The PC AI Home Page has moved. PC AI Magazine PO Box 30130 Phoenix, AZ 85046 Voice: 602.971.1869 Fax: 602.971.2321 e-mail: info@pcai.com Comments? webmaster@pcai.com Copyright (C) 2001-2002, All rights reserved Read More Go to Site
Votes:0 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 Read More Go to Site
Votes:0 Ayuda Página principal Investigación/Research Docencia Miembros/Members Organización Portal del Departamento de Ingeniería de Sistemas y Automática Página principal Página principal Investigación/Research Docencia Miembros/Members Organización Red Andaluza de Robótica Departamento de Ingeniería de Sistemas y Automática UNIVERSIDAD DE MÁLAGA Secretaría: Contacto: Encarna Moyano Despacho: I-121 E.U. Politécnica Antiguo Edificio de Informática Plaza el Ejido s/n MÁLAGA - 29013 Teléfono: +34 952132087 Fax: +34 952131413 email: emoyano@ctima.uma.es Centros donde se imparte docencia: E.T.S. de Ingenieros Industriales E.T.S. de Ingenieros de Telecomunicación E.T.S. de Ingenieros en Informática Escuela Universitaria Politécnica Facultad de Ciencias Vínculos Campus Virtual Doctorado con Mención de Read More Go to Site
Votes:0 Presentation of Nada The department of Numerical Analysis and Computer Science,
Nada, is responsible for the research and education at the Royal
Institute of Technology (KTH) and Stockholm University (SU) in
the two academic subjects Computer Science and Numerical Analysis. Table of contents Research in computer science Other research Education Computer resources and their maintenance The KTHNOC group Research in computer science The research in Computer Science has been established
in four groups: Computational Vision and Active Visual Perception, CVAP As an example we here mention the project which studies active
computer vision and develops both techniques and algorithms
embodying such theories. The group has built an advanced
binocular head-eye system. It imitates the human eye and hea Read More Go to Site
Votes:0 Bruce Jacob University of Maryland Memory-Systems Research Keystone Professor and Director of Computer Engineering Department of Electrical & Computer Engineering University of Maryland at College Park College Park, MD 20742 E-mail: blj@ece.umd.edu WWW: http://www.ece.umd.edu/~blj/ Photo: Axel Persaud (a former student and photographer-on-the-side) Fall 2007: ENEE 759h, High-Speed Memory Systems Fall 2007: ENES 100, Introduction to Engineering Design Office Hours: Open-door Office: 1325 A.V. Williams Phone: +1 301-405-0432 Fax: +1 301-314-9281 Curriculum Vitae in PDF format (a bit more thorough than this webpage) Brief NSF/IEEE-style bio (for those who need such things) Education A.B. (Mathematics, cum laude ) Harvard University - Cambridge MA, 1988 M.S. (Computer Science & Engineering) Un Read More Go to Site
Votes:0 PROGRAM in ROBOTICS AND INTELLIGENT SYSTEMS Princeton University The Certificate Program in Robotics and Intelligent Systems is designed for Princeton undergraduate students who are interested in pursuing careers or graduate education in three general areas: The analysis, design, and development of systems that automate manufacturing, transportation, health care, environmental stewardship, scientific research, and other activities; The creation of systems for learning, adaptation, decision-making, identification, estimation, and control using concepts drawn from cognitive and biological sciences. The understanding of human intelligence from the perspective of neuroscience and computation. New industries and organizations depend increasingly on the interplay between engineering, computing, Read More Go to Site
Votes:0 ? Prover iLock is the premier software solution for control and signaling application design, formal verification and simulation. Prover iLock is deployed in more than 25 countries. Prover Plug-In is a family of proof engine products. Tool vendors integrate
Prover Plug-In into their own V&V products to shorten time to market and reduce development cost and risk. Prover Receives $761,000 Order from ABB for Verification of Three Stations on Jernbaneverket's Sandnas-Stavanger Line >> RATP (Paris Metro) Orders Formal Safety Verification of the On-Board and Wayside Ouragan CBTC Systems Supplied by Ansaldo STS and AREVA-TA >> New York City Transit Orders Formal Safety Verification of US&S Signaling System >> Prover Technology Releases 3rd Generation Prover iLock >> Prover Read More Go to Site
Votes:0 This page has been selected
as a featured site in StudyWeb as one of the best
educational resources on the Web. Pubblications of Marcello Chiaberge CLICK here for a selection of papers 1999 M. Chiaberge, G. Genta, E. Miranda, L.M. Reyneri, Twin rigid-frames walking microrovers: a perspective for miniaturization , JBIS Journal of the British Interplanetary Society, Special number on Miniaturization for Space, June 1999. M. Chiaberge, E. Miranda and L.M. Reyneri, An HW/SW Co-Design Approach for Neuro-Fuzzy Hardware Design , in Proc. of MICRONEURO 99, Int'l Conf. on Microelectronics for Neural Networks and Fuzzy Systems , Granada (E), April 1999. B. Lazzerini, L.M. Reyneri, M. Chiaberge, A Neuro-fuzzy Approach to Hybrid Intelligent Control , in IEEE Trans. on Industry Applications , 1999 (to Read More Go to Site
Votes:0 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) ,
San Francisco, CA, November 1995, pp. 317-318. User Manuals Kenneth J. Goldman, Joe Hoffert, T. Paul McCartney, Jerome Plun, Todd Rodgers. Building Interactive Distributed Applications in C++ with The Programmers Playground. Washington University Department of Computer Science WUCS-97-14, February 19 Read More Go to Site
Votes:0 University Homepage School Homepage School Contacts School Search Centre for Intelligent Systems and their Applications Directory Members Profile Publications Students Support Publications The DARPA High Performance Knowledge Bases Programme John Kingston Oct 1997, EDI-INF-RR0047 A Computer Based Application for Ship Survey Reporting John Kingston, Manolis Sideris, Nikos Parthenios and Nicholas Kyrtatos Sep 1999, EDI-INF-RR0048 A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers Predrag Janicic, Alan Bundy and Ian Green Jan 1999, EDI-INF-RR0096 A Survey of Automated Deduction Alan Bundy Apr 1999, EDI-INF-RR0001 Artificial Intelligence and Scientific Creativity Simon Colton and Graham Steel Aug 1999, EDI-INF-RR0260 Choosing the Right Model R.R. Le Read More Go to Site
Votes:0 The Purdue Robot Vision Lab performs state-of-the-art research in sensory intelligence for the machines of the future. This laboratory has made pioneering contributions in 3D object recognition, vision-guided navigation for indoor mobile robots, task and assembly planning, etc. The Robot Vision Lab was founded by Prof. Avi Kak and is associated with the School of Electrical and Computer Engineering at Purdue University . Home | People | Research | Publications | Database | Internal Send mail to rvl-webmaster(at)ecn.purdue.edu with
questions or comments about this web site Last updated: 02/14/2006 03:03 PM Read More Go to Site
Votes:0 This website is no longer maintained. Please from now on use: http://www.ist.tudelft.nl/qi Quantitative Imaging Group About Us – People – Publications – Research – Education – Services – Webmail TNW The Quantitative Imaging Group (QI) is a large diverse group of people working on a variety of problems in basic and applied research in image processing, image analysis, imaging instrumentation, pattern recognition, robotics, and quantitative microscopy. People Publications Research Education Services Graduation projects for B.Sc. students Graduation projects for M.Sc. students --> Job openings External links Contact Information Our Address Quantitative Imaging Group Department of Imaging Science and Technology Faculty of Applied Sciences Delft University of Read More Go to Site
Votes:0 Bad Link or Bookmark Please do not bookmark or link directly to a .html or .shtml file when the directory may be linked to instead. Your browser should automagically forward you to the correct destination in 5 seconds. If you are impatient or using a non-conformist browser, this link will accomplish the same task. Read More Go to Site
Votes:0 Universal Grammar in Prolog http://www.nyu.edu/pages/linguistics/ling.html Prof. Ray
C. Dougherty New York University | Linguistics
Department GENERAL || RESEARCH || COURSES || WORKBOOK || FIRST
DOT Table of Contents Why Can't Humans Talk to a Computer In English? Our Basic Linguistic and Computational Concepts. Three Books on the Natural Language Computing Project. A Sample of the Hundreds of Figures on this Site. Download Free Prolog and LISP Interpreters Tree Drawing and Pretty Printers If you have any comments about these pages, please let us know. Should
we place more of these pages on line? Do you benefit from these pages? If
you are a student at NYU, you may help in developing these pages, see the HTML Gesellschaft .
Your ideas and comments will lead to modifications and improvement Read More Go to Site
Votes:0 Richard Alterman Professor Computer Science Department Center for Complex Systems Brandeis University Waltham, MA 02454-9110 USA alterman@cs.brandeis.edu GROUP Selected Publications Read More Go to Site
Votes:0 Robert Andrews Home Page Robert Andrews, Dip Teach BCAE , BEd BCAE , Grad Dip Commercial Computing QUT , MInfTech QUT I am a lecturer at QUT , Faculty of Information Technology , School of Information Systems . Room : ITE 536 Phone : +61 7 3864 1656 Fax : +61 7 3864 1969 Email : r.andrews@qut.edu.au Research Interests and Publications Artificial Neural Networks. Rule Extraction From Trained Artificial Neural Networks. Local Response Networks. Publications AI Resources CiteSeer Citations Tool QUT Machine LearningResearch Centre Rule Extraction Home Page Rbp Network & Rulex Rule Extraction Downloads Other Interesting Stuff Net Search Engines Golfweb Faculty of Information Technology's Home Page Queensland University of Technology's Home Page This document and those it immediately links to un Read More Go to Site
Votes:0 Department of Mechanical Engineering The Johns Hopkins University Lab News Research Publications People Contact New lab homepage is now open! Lab members: Please check your email addresses. Department of Mechanical Engineering The Johns Hopkins University 223 Latrobe Hall, 3400 N. Charles Street Baltimore, MD21218, USA Faculty advisor: gregc@jhu.edu Web administrator: kiju@jhu.edu Phone: +1-410-516-4573 Update August 2007 Copyright ? gregc@jhu.edu Read More Go to Site
Votes:0 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 R obotic S ystems L ab (RSL) was established in
October 1996 to undertake research projects with the R 3 constraint. R 3 means R eal-robots working in the R eal-world in R eal-time. The Robotic Systems Lab is part of the Department of Systems Engineering of the Research School of Information Sciences and Engineering . Prof. Alex Zelinsky is the head of the research team. The team consists of a group of 4 academics, 3
research support staffs, 8 PhD students Read More Go to Site
Votes:0 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 processes and telecommunications. Information regarding our undergraduate education can be found at the CSEE pages and the Electronics
and Robotics homepage . We have also some project proposals in robotics and mathematics and some tutorials on Lasers for Robot Control We are situated in the town of LuleÅ in northern Read More Go to Site
Votes:0 home | research | teaching | people | publications | robots | consultancy Welcome Within these pages you will find information about Robotics at the School of Computer Science, University of Manchester, UK. Robotics at Manchester Manchester Robotics are researching into the future of robotic systems, where robots are not hidden behind cages on manufacturing lines, but are a positive factor in our everyday lives. We are developing medical robots to administer robotic physiotherapy for conditions such as stroke and cerebral palsy. If robots are to behave autonomously then they must have the capability of independent movement and 'intelligent' control strategies. Manchester robotics has a long history of developing adaptive 'intelligent' controllers for mobile robotic systems. These mobile ro Read More Go to Site
Votes:0 A DDRESS Department
of Information Technology University
of Parma Viale delle Scienze - CAMPUS 43100 Parma ITALY Tel. +39 0521 905702 Fax +39 0521 905723 L AB L OCATION The Robotics Lab is located within room n.2, Building
1 and room n.3/1, Building 3 of the Department of Information Technology in the Science Area (Campus) of the University of Parma. R ESEARCH G ROUPS Robotics
and Intelligent Machines [ Department
of Information Technology ][ Computer
Engineering Group ] Read More Go to Site
Votes:0 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 2002, SSC San Diego was designated by the Office of the Secretary of Defense as the Center of Excellence for Small Robots.* Recent Updates: Collaborative Behaviors Demonstration Publications: Our Technical Publications Publications About Us Newsletter: Current issue -- latest robotics news and developments at SSC San Read More Go to Site
Votes:0 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, the group is working
with Mechanical Technology, Inc on a DOE-funded project related to fault
detection of hydaulic manipulators. The group includes Prof. Ian Walker
of Clemson University who was formerly at Rice University. About the
Robots for Hazardous Environments Group Robots for Hazardous Environments Gro Read More Go to Site
Votes:0 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 a good picture of the control system
and battery packs. This robot includes two battery packs, two
electric motors, two bump switches and one analog (means not
digital) control system. The control system is the blue and black
square on the top that has the mess of wires connected to it. The
bump switch Read More Go to Site
Votes:0 Search School of Computer Science Skip past menu to page content Home » Research » Labs » Robotics » Skip past menu to page content Home Study Here Research About Us Internal Intelligent Robotics Lab Skip past menu to page content Members Publications Research CoSy Project Local Site CoSy Project Main Site Resources Movies Research Robots Teaching Related Links Events Contacts We conduct research in a number of sub-fields of intelligent robotics and related areas such as statistical machine learning. At the most general level members of the lab use computational models, implemented in robots to test ideas about how intelligence can and should work. Some lab members work with those studying biological intelligence, particularly cognition in birds. Others work on the engineering science chal Read More Go to Site
Votes:0 access keys text only skip to navigation skip to content School of Computer Science and Information Systems Courses Research Staff Seminars News Careers Contact us Intranet Q. What do Birkbeck's School of Computer Science and Information Systems , the National Savings "ERNIE" computer and the British Computer Society have in common? A. They were all created 50 years ago during the formative years of computing and are all now internationally renowned contributors to the success and growth of Computer Science and IT in the 21st century. SCSIS is celebrating it's 50th anniversary this year and looking forward to its continuing success at the cutting edge of teaching and research in computer science. Find out more about SCSIS... Our Courses Undergraduate Choose a course from the list... Founda Read More Go to Site
Votes:0 --> Home News&Events Research Education People About Us Contact Us About Us Alumni Committees Faculty Groups History Jobs Organization Sections Complex Computing Systems Data and Information Management Development and Use of IT-Systems Intelligent Systems Search People Web Sections The sections organize teaching activities within a broad sub-area. Read More Go to Site
Votes:0 ?y?[?W?g?b?v ?z?[?? ?z?b?g?j???[?X ?T?C?g?}?b?v ???? ?z?[???y?[?W??^????z ?????? | ???????? | ??p??? | ???????? | ?l????‚??? | ?????? (C) Honda Motor Co., Ltd. and its subsidiaries and affiliates. All rights reserved. Read More Go to Site
Votes:0 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 methods for solving hard Constraint Satisfaction Problems (CSPs) and Constraint Optimization Problems (COPs). We are particulary interested in researching algorithms for dynamic and mixed-initiative COPs where the problem changes spontaneously and user decisions and preferences must be accommodated during search. Applications of our technolog Read More Go to Site
Votes:0 SICS Computer Systems Laboratory SICS Intelligent Systems Laboratory is now a part of SICS Computer Systems Laboratory . (For a limited time, the former Intelligent Systems Laboratory web pages .) Read More Go to Site
Votes:0 Subscribe Today | Contact Us | Register Now Home | Tech Support | Q&A Board | Article Search | Subscribe & Shop Smart Computing Articles You Searched For: Articles in the category within the publication(s) ALL PUBLICATIONS and published on or after 11/2005 Number of Matches: 0 Change Your Search Sorry, your search resulted in no matches. Please try selecting a different item or typing in a different phrase. Sorry, there are no sub-categories under this category. Try changing the content of a search field. You might also try leaving one or more of the search fields blank. OR Select an article type: All Article Types General Information Articles Troubleshooting Articles Tutorial Articles Hardware Review Articles Software Review Articles Type in a phrase or key words below, Select Search type Read More Go to Site
Votes:0 Soar IFOR Project Soar IFOR Project The Soar Intelligent FORces project is investigating the application
of Soar to the modeling of real-time agent behavior. The ultimate intent
behind this effort is to develop automated pilots whose behavior
in simulated battlefields is nearly indistinguishable from that of
human pilots (and to go beyond this to develop generic agents that
are readily specializable for this and other domains). If such agents can be created, they should provide close to ideal force supplements
for many of the applications anticipated for distributed interactive
battlefield simulation. As of Dec 1994, prototype agents have been constructed that can, in
real-time, interact with humans in several realistic Beyond Visual
Range tactical air scenarios. These agents can fly solel Read More Go to Site
Votes:0 About the SSL Personnel Facilities Projects Internals Data and Publications Friends of the SSL Directions Contact Us Current Events Space Systems Lab University of Maryland Random picture. Click Here to see more. A leading Aerospace laboratory since 1976. Back to Top SSL Home About SSL Personnel Facilities Projects Internals Publications Friends Directions Contact Us Current Events Search WWW Search www.ssl.umd.edu Read More Go to Site
Votes:0 Search | Contact | SRI Home [Shakey] NEWS Mon Nov 19 2007 Latest News Item: [ more...!! ] "Artificial Intelligence Center sponsors SRI?s World Wide Web Consortium membership " Next AIC Seminar: [ more... ] NeoVictorian Computing , by Mark Bernstein, on Tue Dec 04 Did You Know?: The Network Information Center (NIC) was hosted by the SRI until the early 90s BACKGROUND About the AIC Contact Us Join the AIC Visiting the AIC Search the AIC site PEOPLE Research Staff Visitors Facilities Staff Administrative Staff RESEARCH Research Programs Projects Publications Software Related Programs at SRI --> ACHIEVEMENTS AIC Timeline Video Archives Published Books AIC News Items Shakey EVENTS AIC Seminars Richard Waldinger's Coffee STAR Lab Seminars CSLI
Events Stanford Campus Calendar Xerox PARC Calendar Read More Go to Site
Votes:0 Artificial Intelligence Group Current Research People Related Links Faculty of Computing, Engineering & Technology Staffordshire University Last Modified: Monday 11 November 2004 Feedback Faculty Of Computing, Engineering and Technology Staffordshire University Read More Go to Site
Votes:0 ---> Welcome to the Stanford AI Laboratory Welcome to the Stanford AI Lab! The Stanford AI Lab (SAIL) is the intellectual home for researchers in
the Stanford Computer Science Department whose primary research focus
is Artificial Intelligence. The lab is located in the Gates Computer
Science Building and the new Clark Center, where 100+ people share the
space with 30+ robots. Our mission is to change the way we understand the world. In the past
decade, an abundance of data has become available, such as online data
on the Web, scientific data such as the transcript of the human
genome, sensor data acquired by robots or by the buildings we
inhabit. The list is endless. Turning data into information pertaining
to problems that people care about, is the central mission of our
research. In shor Read More Go to Site
Votes:0 ?t???[?????????A?????u???E?U????? ???C???y?[?W ???????????????B The page you are attempting to enter has frames. If you are reading this message, your browser is incapable of viewing frames. Enter from here to see a non-frame version of this page. Society of Biomechanisms (SOBIM) Japan Humanoid Robotics Institute Robotics in Japan 21st Century COE Program WABOT-HOUSE Project Read More Go to Site
Votes:0 Offering Degrees in Computer Science and Computer Engineering Home Contact Us Phone Numbers Addresses Web Contact Form Directions & Maps People Faculty Staff Accounting Staff Administrative Staff Advising Staff Computing Service Staff Facility Support Staff Students Research Faculty Interests Research Areas Research Labs Seminars Technical Reports Academics Admissions & Records Advising Office Undergraduate Programs Graduate Programs Course Catalog Financial Aid Info for: Prospective Students About the Department Undergraduate Programs Graduate Programs Advising Office Financial Aid Current Students Current Courses Force Requests Course Schedules Final Exam Schedules Student Organizations Policies and Procedures Peer Teacher Program Scholarships Student Research Industrial Affiliates Resum Read More Go to Site
Votes:0 Publications of the Knowledge Systems Laboratory This page offers various ways of accessing the technical
report abstracts of members of the Knowledge Systems Laboratory at Stanford
University since 1986. Links to full versions of the papers exist
for many of the technical reports. A number of reports produced by KSL members
also appear as Section on Medical
Informatics and Computer Science
Dept reports. instructions
for getting your KSL report online .
--> Listing
of Reports by Author Listing
of Reports by KSL Report Number Listing
of Reports by Year Published Read More Go to Site
Votes:0 FranÇais Contact us Help Search Canada Site About NRC-IIT Research Collaborations NRC-IIT Site NRC 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 of Canada Common Look and Feel may not always be met. If the following information is not accessible to you, please contact Bob Orchard (see contact information below) for assistance. The opinions and information presented here do not represent the views of the Government of Canada. The information contained on Read More Go to Site
Votes:0 Navigation News The Institute Scientific Research Valorization and Transfer Publication and Documentation Working and Training Shortcuts International Relations European Partnerships Documentation Centers Research Teams Activity Reports Research Reports and Thesis HAL-INRIA Open Archive Software Multimedia Resources INÉdit, Newsletter Interstices, the scientific culture website INRIA: 40 years, the information revolution Le rendez-vous de l'INRIA The National Research Agency Joint INRIA-Microsoft Research Centre Search --> Access Maps INRIA Headquarters Domaine de Voluceau Rocquencourt - B.P. 105 78153 Le Chesnay Cedex - France Phone : +33 1 39 63 55 11 Fax : +33 1 39 63 53 30 Research Center Contact Details and Access Maps Front Page ICST and the Law: new outlook for research With recent Read More Go to Site
Votes:0 Welcome to the Intelligent Servosystems Laboratory a constituent laboratory of the Institute for Systems Research University of Maryland College Park, MD 20742 2210 A. V. Williams Building (301) 405-6586 The ISL web site is maintained by Pamela L. White . Most recent update 09/11/07. Objectives The primary goal of this laboratory is to advance the state-of-the
art in the design and real-time control of smart systems drawing on
advances in: (a) novel sensing and actuation materials and mechanism designs;
(b) new principles for actuation, propulsion, detection, reduction, learning, and adaptation; (c) conceptualizing and prototyping across scales, to sense, actuate, communicate and control Director Prof. P.S. Krishnaprasad Site Contents People A listing of the faculty, post-docs, graduate st Read More Go to Site
Votes:0 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. PPHol - The HOL specification and proof development system. PPZed - The Z specification and proof development system. PPDaz - The Compliance Tool for specifying and verifying Ada programs. All the ProofPower packages except PPDaz are free, open-source, software made available under
the terms of the GNU General Public Licen Read More Go to Site
Votes:0 "Keeping Austin wEiRd before WeIrD was Cool." "Now on Meetup.com!" Home   | Contact Us   | WIKI   | Mailing List   | Event Calendar   | Original Webpage   The Robot Group Meets every Thursday from 7:30pm till 10:00pm The Heritage at Gains Ranch. ( map here , closeup here , and parking info here.) Book The Robot Group for your next event! Contact Us for pricing and availability! The Robot Group was founded in the Spring of 1989 by a small group of Austin, TX artists and engineers who shared a common vision: utilizing technology to provide and explore new mediums for art. Through the synergy of fusing art and technology, The Robot Group has stimulated the public into a Read More Go to Site
Votes:0 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 their inputs and outputs.
Larger circuits are assembled from components by a suite of functions,
such as relational composition and various combining forms that represent regular arrays of components.
The algebraic properties of these functions, such as the associativity of composition, yield equations ("alge Read More Go to Site
Votes:0 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 available soon. For now, you can see three of the robots A Meccano version, along with a view of the robot arena. CYCLOPS, a LEGO robot. MAP-MAKER, another LEGO robot. The course, the competition, and the robots are all described in an upcoming UR Technical Report. The U. Rochester Vision and Robotics La Read More Go to Site
Votes:0 Software Engineering Languages --> Formal Methods Object-Z B-Method The Z notation Also in French --> 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 . ( Submission deadline: 24 January 2000 ) --> (Paper submission deadline: 1st March 1998) See also ZUM'97 information --> 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 Research Group (PRG) at the Oxford University Computing Laboratory (OUCL) and elsewhere since the late 1970s, inspired by
Jean-Raymond Abrial's semina Read More Go to Site
Votes:0 kosara.net Navigation _ Home Personal Stuff _ About me _ Kosara Page _ Blog Photography _ Gallery _ Pinhole Photography _ The Loch-Lomo _ APX 25 vs. Technical Pan _ Arsat Shift Lens Thoughts on ... > Artificial Intelligence _ The Turing Test _ The Ackermann Function _ German and English _ Istanbul Gedanken (German) _ AusdrÜcke und KuriositÄten Research _ Research _ InfoVis _ Publications Assorted Links _ Photography _ Fun Thoughts on Artificial Intelligence Introduction Why the current approach of AI is wrong Reference Points The Role of the Body Evolution The Art of Learning Thinking Outside the Brain The idea of a General Concept of Intelligence See also ... ( Disclaimer: These are my own ideas on the topic, based
on the article Subcognition
and the Limits of the Turing Test by Robert Read More Go to Site
Votes:0 Topic: areas/fuzzy/ 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: FTP repositories for fuzzy logic include ntia.its.bldrdoc.gov:/pub/fuzzy/ [132.163.64.201] ftp.dhhalden.no:/pub/Fuzzy/ fuzzy-server@til.com fuzzynet@aptronix.com This directory contains software and materials concerning fuzzy logic
and related topics. Thanks to Erik Horstkotte for assistance in assembling this collection. The ntia fuzzy logic repository is maintained by Tim Butler , the Os Read More Go to Site
Votes:0 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: CAL ibot , the most naturally swimming robotic fish ever built. Click here ABOUT US Our research activities are focused on the design and control of a class of robotic systems worn or operated by humans to augment human mechanical strength, while the wearer's intellect remains the central control system for manipulating the robot. Human power extenders can be used to maneuver heavy loads with great dexte Read More Go to Site
Votes:0 You are being redirected to the Robotics Lab Wiki. If your browser
does not redirect you automatically, please click here . Read More Go to Site
Votes:0 Welcome to the UCI Machine Learning Repository! We are re-designing our web site to enable better searching of data sets. You can take a peek at the beta site here . We would appreciate any feedback that you may have regarding this new site (send emails to ml-repository@ics.uci.edu). This is a repository of databases, domain theories and data generators that are used by the machine learning community for the empirical analysis of machine learning algorithms. HTTP Access to archive Summary page The UCI KDD Archive An important file to read regarding the repository is the README file. It contain an overall description of the repository. Another file, SUMMARY-TABLE , contains a table of some of the databases. Each database is characterized by a fixed set of attributes. A few of the databases Read More Go to Site
Votes:0 --> Department of Engineering University of Cambridge > Engineering Department Machine Intelligence Laboratory The Machine Intelligence Laboratory comprises three research groups: --> Computer Vision & Robotics Group 3D models from uncalibrated images,
Object recognition.
Human-computer interfaces.
Visual tracking and localisation.
Visually guided robotics and autonomous systems.
Augmented reality. Prof. Roberto Cipolla Dr Tom Drummond Medical Imaging Group 3D ultrasound for medical applications: calibration, acquisition, visualisation, volume measurement, deconvolution and strain imaging. The Stradx and Stradwin systems. Dr Andrew Gee Dr Richard Prager Dr Graham Treece Speech Group Continuous speech recognition and transcription, spoken dialog systems, synthesis and coding. Machine tra Read More Go to Site
Votes:0 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 Research Areas UNDERGRAD/GRAD INFO Undergraduate/Graduate Information The Artificial Intelligence (AI) program at the University of Michigan comprises a multidisciplinary group of researchers conducting theoretical,
experimental, and applied investigations of intelligent systems. Current
projects include research in rational decision making, distributed systems
of multiple agents, machine le Read More Go to Site
Votes:0 Skip navigation and go directly to page content Information about... Vice-Chancellor's Office Academic Schools The Library Central Services Corporate matters Professional Training News & Events Sports Students' Union Information for... Staff Alumni Visitors Enquirers Employers Researchers Current Students Prospective Students International Students Teachers & Careers Advisers Media University of Surrey > FEPS homepage > Electronic Engineering > CVSSP Main Menu: Home People Research Groups Publications Seminars Studentships Laboratories Open source C++ library Datasets CVSSP Intranet ( restricted ) Content Management (restricted) Contact address: Centre for Vision, Speech and Signal Processing Faculty of Engineering & Physical Sciences University of Surrey Guildford GU2 7XH United Read More Go to Site
Votes:0 Information & Background Staff Research Activities Services News Home Page Tel: +44 028 9036 8937 Fax:+44 028 9036 6068 Email: nikel@ulst.ac.uk Useful Links PERSONET IRTU LEDU IDB MINEit Software Ltd Northern Ireland Knowledge Engineering Laboratory The Northern Ireland Knowledge Engineering Laboratory (NIKEL) is a research and technology transfer organisation hosted in the Faculty of Informatics in the University of Ulster. We also host the PERSONET Marie Curie Training Site "Personalising E-Commerce using Web Mining". Our objective is to help companies in Northern Ireland and beyond gain competitive advantage through the application of advanced software technology. Have a look through our research projects, papers and the services that we offer. If you have any questions or wan Read More Go to Site
Votes:0 V ISION and V ISUALIZATION R ESEARCH G ROUP Academic Staff Mohammed Bennamoun Amitava Datta Du Huynh Peter Kovesi Ryszard Kozera Robyn Owens Nick Spadaccini Postdoctoral Fellows Eunjung Holden Ajmal Saeed Mian Hongchuan Yu Information for visitors Research Students Faisal
Al-Osaimi Fusion and Data Representation for Biometrics and
off-road Robot Navigation Simon Collings Shape From Shading John Darrington Analysis of Physiological Signals Shih Ching Fu Analysis of Motion Fields Paul
Goh Detection of Glaucoma in Retinal Images Chris Gunn Collaborative Haptics Bob Hastings The Statistics of Fingerprints Syed Islam Unified Representation of Multi-modal Biometrics for Robust
Authentication and Identification Jonathan Knispel 3D User Interface Design Nick Lowe Rendering Complex Portals Navid Ma Read More Go to Site
Votes:0 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 (Job 2007D - July 2007) The CADP Newsletter Nr.6 - April 19, 2007 VASY 2006 Activity Report (PDF) VASY is a research team of INRIA working in the area of formal methods applied to safety-critical systems. The research activities of VASY encompass formal specification languages and associated methodologies, compiling and rapid prototyping techniques, simulation, validation, verification, and testing. VASY develops advanced software tools, which are used in numerous case-studies, and is involved in several technology transfer projects with industrial partners. Version 2.77. Date 07/10/02 20:4 Read More Go to Site
Votes:0 This is a list of on-line Alife papers. This includes ones on
genetic programming, learning, autonomous agents, robotics, and evolution. The sources are divided into three categories: individual authors,
institutions, and miscellaneous. Items that go in the institutions
category are archives for an entire site or group (SFI, for example). Meta pages and software are listed under Miscellaneous. Institutions Santa Fe Institute publications ,
including their tech
reports and pointers to ALife WWW resources Reed College ALife group University of Sussex COGS
group tech
reports on evolutionary and adaptive systems. UCSD: William
E. Hart 's on-line publications. William Hart was a grad student
of Rik Belew's. There's also an on-line bibliography of publications from Rik Belew's Cognitive Computer Read More Go to Site
Votes:0 VisLab History 1998 Welcome to the Official VisLab Website VisLab History 2005 VISLAB.it VisLab presentation... VisLab description VisLab Brochure VisLab milestones... MobLab within Prometheus - 1994 The ARGO Project - 1998 IEEE Intelligent Vehicles Symp - 2000 RAS in the South Pole - 2001 EiC, IEEE Trans on ITS - 2004-07 DARPA Grand Challenge - 2004 IEEE Intelligent Vehicles Symp in Parma - 2004 DARPA Grand Challenge - 2005 VisLab invited at the Pentagon - 2005 The PLS Vehicle in Yuma - 2006 VisLab logo VisLab Gadgets... Merchandising Screensaver Wallpapers Toolbar Search plugin Address and Contacts How to Reach VisLab Private Section... Wiki BugZilla WebCalendar Login Projects Current Projects List Selection of Our Main Projects... The 2007 DARPA Urban Challenge The 2005 DARPA Grand Chal Read More Go to Site
Votes:0 GPA' Home Page GPA in short Research People Projects Publications Robots Courses Posters Contact person: Dr. Domingo Guinea Contact e-mail address: domingo@iai.csic.es Voice telephone: (34) 91 871 1900 Fax : (34) 91 871 7050 Physical mailing address: Instituto de AutomÁtica Industrial (CSIC) N-III. Km. 22.800 La Poveda-Arganda del Rey 28500 Madrid SPAIN Read More Go to Site
Votes:0 Welcome to Principia Cybernetica Web Principia Cybernetica tries to tackle age-old philosophical questions with the help of the most recent cybernetic theories and technologies. This is the website of the Principia Cybernetica Project (PCP), an international organization . The Project aims to develop a complete philosophy or " world-view ", based on the principles of evolutionary cybernetics , and supported by collaborative computer technologies. To get started, there is an introduction with background and motivation, and an overview , summarizing the project as a whole. Main subjects Theory our theoretical results, including epistemology , metaphysics , ethics , concepts , principles , memetics , and the history and future of evolution . Organization details the people , conferences , pub Read More Go to Site
Votes:0 There are 2 different types of Artificial Intelligence. KNOWLEDGE BASED AI: Is the stuff of major national and world wide computer systems such as those operated by the National Aeronautics and Space Administration (NASA), FNMA etc. knowledge based AI starts with a set of rules and a predictable way of handling all the circumstances that are presented to the program. However, it is also programmed to modify it's own programming based on the feedback it gets from its own programmed senses. Those senses can be mechanical such as those used in robots, light sensitive such as those used in SIGHT or data sensitive such as those used in the worlds largest databases. Insurance companies would be a good example of an industry that relies upon knowledge based AI to analyze the huge volumes of data Read More Go to Site
Votes:0 Slide 8 of 57 The study and attempt to understand the principles of intelligence An attempt to extend the problem solving capabilities of computers What is Artificial Intelligence? Psychology Philosophy Linguistics Education Mathematics Logic Information Theory Software Engineering Operation Research Decision Theory --> Read More Go to Site
Votes:0 You are in the: Small Business Computing Channel ? ECommerce-Guide | Small Business Computing | Webopedia | WinPlanet | Refer-It 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 Computing World Wide Web Home Term of the Day New Terms Pronunciation New Links Quick Reference Did You Know? Categories Tech Support Technology Jobs About Us Link to Us Advertising Compare Prices --> Submit a URL Suggest a Term Report an Error IT Developer Internet News Small Business Personal Technology International Search internet. Read More Go to Site
Votes:0 When Machines Outsmart Humans (c) 2000, Nick Bostrom Futures . Vol. 35:7, pp. 759 - 764, with a symposium organized around my article. For my reply to the commentaries, see here . SUMMARY Artificial intelligence is a possibility that should not be ignored in any serious thinking about the future, and it raises many profound issues for ethics and public policy that philosophers ought to start thinking about. This article outlines the case for thinking that human-level machine intelligence might well appear within the next half century. It then explains four immediate consequences of such a development, and argues that machine intelligence would have a revolutionary impact on a wide range of the social, political, economic, commercial, technological, scientific and environmental issues that Read More Go to Site
Votes:0 What is Artificial Life? by Chris Adami and Titus Brown The term "Artificial Life" is used to describe research into
human-made systems that possess some of the essential properties of
life. As it turns out, there are many such systems that meet this
criterion--digital, test-tube, and mechanical--and these can be used
to perform experiments aimed at revealing the principles and the
organization of living systems on Earth as well as elsewhere. This effort is truly interdisciplinary and runs the gamut from
biology, chemistry and physics to computer science and
engineering. While a large part of Artificial Life is devoted to
understanding life as we know it - that is, life on earth - a
significant effort concerns the search for principles of living
systems which are independent of a particula Read More Go to Site
Votes:0 Xavier in the News --> 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 Review, January 1996 Interview, February 1996 --> Format NZZ show, January 1, 1996 (in German) Carnegie Mellon News, Volume 3, Number 8, December 1995 May 4, 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 County Register (Orange County, California) , April 7, 1996 Wired - April 1996, page 52 .. Popular Science - ??? ... Amelia in the Pittsburgh Post-Gazette , December 23, 1996 Xavier and Florence went to the Today Show on December 31, 199 Read More Go to Site
Votes:0 Research Topics | Projects | Members | Publications | Thesis Group homepage CISUC homepage Research Topics Projects Members Publications Thesis Downloads CFP's Links Contact us Login Password Welcome [Research Topics] [Projects] [Members] [Publications] [Thesis] 2005.BF | CISUC Read More Go to Site
StudySphere is an outstanding resource for homework help, special education, music school, cooking school, charter schools, art schools, technical schools, traffic school, film schools, catholic schools, etc.