41. Springer-Verlag - LNCS LNCS LNCS Overview The series Lecture Notes in computer science (LNCS), including its subseries Lecture Notes in artificial intelligence (LNAI), has http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-164-0-0-0,00.html

Please enable Javascript in your browser to browse this website. Select your subdiscipline Artificial Intelligence Computer Hardware Foundations of Computing General Computer Science Information Systems Mathematics of Computing Media Design Home Computer Science LNCS Select a discipline Biomedical Sciences Chemistry Computer Science Engineering Environmental Sciences Geosciences Law Life Sciences Materials Mathematics Medicine Statistics preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900120-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900180-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900170-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900190-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900200-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900160-0,00.gif'); All Author/Editor Title ISBN/ISSN Series preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900050-0,00.gif');

42. Home Page Of Elmar Eder University of Salzburg artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory . http://www.cosy.sbg.ac.at/~eder/eder.html

Elmar Eder About me I am an associate professor of Computer Science working in Automated Theorem Proving and Artificial Intelligence at the University of Salzburg. Here is my curriculum vitae. 1956 born in Wien (Vienna) At preschool age: first interest in mathematics and natural sciences, taught by my father; 1963 first occupation with differential and integral calculus and with Fourier series. At primary and secondary school exempted from mathematics courses; instead study of higher mathematics (at home taught by my father, at school autodidactic) 1971 graduation from secondary school in England. 1986-1991 Gastprofessor (visiting professor) of Computer Science at the Universities of Dortmund, Hildesheim, Darmstadt, Duisburg, and Marburg in Germany Visits as a visiting researcher at Laboratoire d'Informatique Fondamentale et de l'Intelligence Artificielle in Grenoble, France Duke University in Durham, North Carolina, U.S.A. University of British Columbia (UBC) in Vancouver, Canada Institute for New Generation Computer Technology (ICOT) in Tokyo, Japan Publications Click here for a list of papers from where links to abstracts and to the papers (as gzip'd PostScript files) are under construction.

43. Springer-Verlag - Computer Science Lecture Notes in artificial intelligence Series Lecture Notes in computer science Series Editors Carbonell, JG, Siekmann, J. About http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-146-69-1181004-0,00.ht

Please enable Javascript in your browser to browse this website. Select your subdiscipline Artificial Intelligence Computer Hardware Foundations of Computing General Computer Science Information Systems Mathematics of Computing Media Design Home Computer Science Select a discipline Biomedical Sciences Chemistry Computer Science Engineering Environmental Sciences Geosciences Law Life Sciences Materials Mathematics Medicine Statistics preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900120-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900180-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900170-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900190-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900200-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900160-0,00.gif'); All Author/Editor Title ISBN/ISSN Series preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900050-0,00.gif');

44. Vijay's Home Page Pennsylvania State University Theoretical computer science, programming systems, artificial intelligence. http://www.saraswat.org/

Welcome to my home page. This document has been prepared for If you can't replace your version, the main documents are still accessible.

45. IEEE Intelligent Systems: Artificial Intelligence--A Science Fiction View So what does an artificial intelligence do with itself A Space Odyssey, the computer doesn’t science fiction provides some interesting thought experiments on http://computer.org/intelligent/homepage/x2his.htm

Histories and Futures The Aims of Artificial Intelligence: A Science Fiction View Ian Watson S o what does an artificial intelligence do with itself after it has become self-aware? Suppose that we do succeed in creating an AI. Or suppose that an AI emerges spontaneously out of data networks’ growing complexity. What then—from the point of view of the AI? We talk a lot about the possible routes to AI. A question seldom asked is what an AI’s goals are likely to be. Will it be happy to serve as a companion-entity to people? Will it wish to take over the world? Will it want to distance itself from us? Self-awareness implies personal desires, purposes, ambitions—unless you’re a Buddha seeking to negate the self. Even if programming constrains an AI’s autonomous personality, making it subject to human beings like a godly dog, the AI may still nurse frustrated wishes. Of course, if the dog is muzzled, this might thwart the mental autonomy necessary for an AI to exist in the first place. In the case of HAL, from Stanley Kubrick’s 2001: A Space Odyssey , the computer doesn’t misbehave out of free will but because of a programming conflict.

46. RUG Math & CS: Obsolete Department of Mathematics and Computing science. Research fields include theoretical computer science, high performance computing and imaging, artificial intelligence, parallel and distributed computing, embedded systems, agent technology and neural networks. http://www.cs.rug.nl/

This page is obsolete. Its address is no longer valid. Please start at the new site Deze pagina is niet langer beschikbaar. Zoek vanaf hier

47. UofT Department Of Computer Science Research AI Department of computer science The artificial intelligence group in Toronto works in several primary subareas of the field computational linguistics http://www.cs.toronto.edu/DCS/Research/artificial.html

Department of Computer Science Faculty of Arts and Science University of Toronto Department ... Alumni The Artificial Intelligence group in Toronto works in several primary subareas of the field computational linguistics, knowledge representation and reasoning, robotics, planning, computer vision, and machine learning / neural networks. We have 14 full-time faculty members whose research spans these areas and more, and offer over a dozen graduate courses to help students develop and expand their knowledge and expertise. Computational Linguistics and Natural Language Processing http://www.cs.utoronto.ca/compling/ The subarea of AI concerned with human languages ("natural languages") is computational linguistics. Researchers in this area are interested in developing programs that can "understand" and generate natural language. "Understanding" involves parsing linguistic input, determining its literal and non-literal meaning, and representing the meaning in a computational formalism; generation reverses this process. Research in this area is now being applied in commercial systems for tasks such as automatic or semi-automatic translation from one language to another, information retrieval, and intelligent aids to writers. Faculty: Graeme Hirst Gerald Penn Suzanne Stevenson Knowledge Representation and Cognitive Robotics http://www.cs.utoronto.ca/cogrobo/

48. Department Of Computer Science Department of computer science. Research areas algorithm theory, artificial intelligence, embedded systems and software systems development. http://www.cs.lth.se/

This page looks better if you enable java-script in your browser! Education Faculty of Science Lund Institute of Technology Graduate Studies ... Open positions Miscellaneous About the department Sitemap Our library Find your way in the E-house ... About Welcome to Computer Science The Department of Computer Science belongs to the Faculty of Technology (LTH) and to the Faculty of Science (NF) at Lund University. We offer undergraduate and graduate-level education in Computer Science, both within the educational programs in engineering and science, as well as giving individual courses on chosen topics. We do research in a number of areas, including algorithm theory, artificial intelligence, embedded systems and software systems development. We participate in LUCAS - Center for Applied Software Research and in CUGS - The National Graduate School in Computer Science The department employs more than 70 people, with three professors, four associate professors, more than 15 lecturers and researchers with Ph.D., and about 20 Ph.D. students. Seminars: Upcoming seminars Past seminars Last update: Friday, 07-May-2004 12:41:08 CEST

49. Department Of Computer Science And Engineering, UT Arlington. together recently to advise the Department of computer science and Engineering in her field, is director of UTA s artificial intelligence Research Laboratory http://www.cse.uta.edu/

Department of Computer Science And Engineering University of Texas at Arlington The University of Texas at Arlington College of Engineering Prospective Students Undergraduates ... Telecampus Search : Advanced Search Text Size Too Small? Follow these steps to increase your font size in Internet Explorer: 1. Click View on the browser toolbar. 2. Select Text Size 3. Choose medium as your text size. Leading Technology Companies Come Together To Advise CSE Faculty on Research for Industry Companies represented at the event included Lockheed Martin; Raytheon; Nokia; Sabre Holdings; EDS; National Semiconductor; SensorLogic; Motorola; Texas Instruments; Cyneta Networks; Fujitsu; i2Technologies; Santech Industries, MCI and General Motors. Anomah Ngu of Sabre Holdings, left, talks with Behrooz Shirazi, chair of CSE, at a recent industry forum on research. Third from left is Vasudev Rangadass of i2 Technologies and Jean Lehmann of EDS, far right. Professor Diane Cook Honored as Charter Member of UTA Academy of Distinguished Scholars Dr. Diane Cook

50. 68: Computer Science collection of computer science bibliographies; Search computer science and artificial intelligence databases, MaxPlanck-Institut; http://www.math.niu.edu/~rusin/known-math/index/68-XX.html

Search Subject Index MathMap Tour ... Help! ABOUT: Introduction History Related areas Subfields POINTERS: Texts Software Web links Selected topics here 68: Computer science Introduction Computer science, today more accurately a separate discipline, considers a number of rather mathematical topics. In addition to computability questions arising from many problems in discrete mathematics, and logic questions related to recursion theory, one must consider scheduling questions, stochastic models, and so on. Computer Science is no more about computers than astronomy is about telescopes. E. W. Dijkstra History There is a website devoted to the history of computing (only some of this, of course, is "computer science" in the mathematical sense). Applications and related fields For papers involving machine computations and programs in a specific mathematical area, See Section 04 in that area. This includes computational issues in group theory number theory statistics , and so on. In particular, for numerical linear algebra see linear algebra , and for graph-theoretic questions such as the traveling salesman problem or scheduling algorithms, see Combinatorics Issues of numerical stability of algorithms, rates of convergence, and so on form the field of

51. Department Of Computer Science Department of computer science. Research areas include computer architecture, programming languages, theoretical computer science, algorithms, artificial intelligence, and humanmachine interfaces. Links to laboratory servers. http://www.cs.keio.ac.jp/

Department of Computer Science Accesses to this page since Feb 03,2000: NOTE: This WWW server is under construction . This is WWW server provided by Department of Computer Science, Graduate school of Science and Technology, Keio University, Japan. Please see Our Disclamer before you explore this WWW server. Information by Department of Computer Science About Department of Computer Science (In English) Recent Technical Papers Anonymous FTP Portraits of Professors Local information Other WWW Servers in Department of Computer Science Yamamoto Laboratory Tokoro Laboratory Harada Laboratory Ohno Laboratory ... Nakanishi Laboratory Other Servers in ... Keio University Japan Homepage in Japanese

52. UCSD AI-lab Home Page UCSD artificial intelligence Laboratory. Welcome to the AI lab in UCSD s computer science and Engineering Department! People face http://ai.ucsd.edu/

UCSD Artificial Intelligence Laboratory Welcome to the AI lab in UCSD 's Computer Science and Engineering Department! People: Official AI-research page Projects Useful links: UCSD Vision Lab GURU (Gary's Unbelievable Research Unit) Lab Intro for new students UCSD AI Research Seminar are on most Mondays during the school year. Source code for Matt's Matlab Tutorial

53. Body Department of computer science. Research areas Networks and Operating Systems; Parallel and Distributed Systems; Numerical Computation; Software Engineering; artificial intelligence and Multimedia; Databases; Visualization. http://www.squ.edu.om/sci/Comp/

This page uses frames, but your browser doesn't support them.

54. Research - Computer Science At Yale Departmental Technical Reports. Topics. artificial intelligence. Top of Page. Yale University. Copyright © 2002 Department of computer science, Yale University. http://www.cs.yale.edu/research/

Home About Us People Research ... Resources Research Projects GRIDLOCK - Project on Unification of Security Mechanisms PORTIA - Project on Sensitive Data SPYCE - Project on Diffuse Computing Publications Recent Publications Departmental Technical Reports Topics Artificial Intelligence Mathematical Theories of Human Vision Models of Image Formation Knowledge Representation for the Web ... site editor Last modified: May 25, 2004 by nancy Home URL: http://www.cs.yale.edu/

55. Computer Vision Laboratory Faculty of computer and Information science, Department for artificial intelligence computer Vision Laboratory. http://lrv.fri.uni-lj.si/

Computer Vision Laboratory NOTICE: Due to the crash of the server this page does not contain the latest information, but it will be reconstructed soon! CVL ID! University of Ljubljana Faculty of Computer and Information Science Tržaška 25, 1001 Ljubljana Slovenia Tel: +386 (61) 1768 381, Fax: +386 (61) 1264 647 Since 1991 Number of Members: 11 Head: prof. Franc Solina Some pictures The laboratory is involved in basic research in computer vision with emphasis on computational models for shape, texture, and color in combination with the segmentation process. The goal is to develop robust vision system architectures that can combine different modules, adapt to the current purpose of the vision system and to the available computational resources. The main research achievements and activities are: recovery and modeling of visual data with superquadrics, segmentation with the "recover-and-select" paradigm, next view planning for intelligent image acquisition, automatic creation of CAD models from images for reverse engineering applications, and

56. Artificial Intelligence - Computer Science At Yale The name artificial intelligence covers a lot of will never understand human intelligence until we the Departments of computer science, Electrical Engineering http://www.cs.yale.edu/research/artificial.html

Home About Us People Research ... Resources The name "artificial intelligence" covers a lot of disparate problem areas, united mainly by the fact that they involve complex inputs and outputs that are difficult to compute (or even check for correctness when supplied). One of the most interesting such areas is sensor-controlled behavior, in which a machine acts in the real world using information gathered from sensors such as sonars and cameras. This is a major focus of A.I. research at Yale. Research in this area at Yale is carried out by the Center for Computational Vision and Control, a joint effort of the Departments of Computer Science, Electrical Engineering, and Radiology. We will describe three of the ongoing projects in this area. site editor Last modified: May 25, 2004 by nancy Home URL: http://www.cs.yale.edu/

57. MIT CSAIL Clinical Decision Making Group Home page of MIT's Clinical Decision Making Group which is focused on applying computer science, and artificial intelligence in particular, to medicine. http://medg.lcs.mit.edu/

Clinical Decision Making Group Information Director: Peter Szolovits psz@mit.edu Mission: To provide better health care through applied artificial intelligence. Description: The Clinical Decision Making Group at the MIT Laboratory for Computer Science is a research group dedicated to exploring and furthering the application of technology and artificial intelligence to clinical situations. Because of the vital and crucial nature of medical practice, and the need for accurate and timely information to support clinical decisions, the group is also focused on the gathering, availability, security and use of medical information throughout the human "life cycle" and beyond. Contact: See also People Phone: (617) 253-5860 Fax: (617) 258-8682 200 Technology Square, room 417 Cambridge MA 02139 Email: medg-info@medg.lcs.mit.edu Web: http://www.medg.lcs.mit.edu/ Projects Guardian Angel Personal lifelong active medical assistants MAITA The Monitoring, Analysis, and Interpretation Tool Arsenal provides means for automated gathering, understanding, and reacting to important information in a broad range of application areas, including clinical, military, industrial, commercial, and scientific monitoring and surveillance.

58. Computer Science And Mathematics computer science, artificial intelligence, mathematics, statistics, history of mathematics. http://www.usg.edu/galileo/internet/sciences/compscie.html

Computer Science and Mathematics General Artificial Intelligence Mathematics Statistics Return to General An Atlas of Cyberspaces From the web site: "This is an atlas of maps and graphic representations of the geographies of the new electronic territories of the Internet, the World-Wide Web and other emerging Cyberspaces." Maps that represent the Internet's "digital real estate." The Ada Project (TAP) From the web site: "The Ada Project (TAP) is a WWW site designed to serve as a clearinghouse for information and resources relating to women in computing... TAP serves primarily as a collection of links to other online resources, rather than as an archive." This site is searchable. National Computer Science Technical Reports Library (Cornell) National Computer Science Technical Reports Library provides a searchable bibliographic database. Computing, Systems and the Internet (BUBL) Provides access to full-text computer-related books, including topics such as Java, HTML, FORTRAN, etc. The Microsoft Anti-Virus Clinic Features information on how computer viruses work and guidelines for protecting files and Microsoft software.

59. Department Of Computer Science, HKUST Department of computer science. Research areas include theoretical computer science, algorithms, artificial intelligence, computer engineering, data and knowledge management and software technology. http://www.cs.ust.hk/

Latest News: Microsoft Imagine Cup 2004: 4th Runner-up CSAA: Guangzhou Observation Tour SIGGRAPH 2004: HKUST Makes Her Debut Best 10 Lecturers Award 2003-2004 ... FYP Announcements News Schedules Seminars Thesis defense ... FAQ Courses Descriptions Quota PG courses Research ... Computing Facilities for Department Users Recruitment Faculty Search Job Openings CS System Group News ... CSAA Computer Science Alumni Association CSSS Computer Science Students' Society Restricted Access Area For internal use only Other Information Directions to the department: Local Transportation Driving International Symposium on Algorithms and Computation (ISAAC 2004) Advanced search Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon Hong Kong Tel : +852-2358-7000 Fax : +852-2358-1477 E-mail : csdept Last updated on June 4, 2004 by cssystem Please send comments and suggestions to webmaster Department of Computer Science The Hong Kong University of Science and Technology

60. The World Wide Web Virtual Library: Artificial Intelligence artificial intelligence Group, Department of computer science, University of Ottawa, Canada. Enterprise Integration Laboratory, University of Toronto, Canada. http://www.afm.sbu.ac.uk/ai/

Virtual Library Computing Logic programming Artificial Intelligence Please contact Jonathan Bowen if you know of relevant on-line information not included here. Use the comp.ai newsgroup for general AI-related queries. This document contains some pointers to information on Artificial Intelligence (AI) available around the world on the World Wide Web (WWW or W3), a global hypermedia system providing worldwide information. Starred entries are especially recommended. New entries are added periodically. The following information is available: Research sites and projects Newsgroups Other information Research sites and projects Department of Artificial Intelligence , University of Edinburgh, UK. See research projects Artificial Intelligence Applications Institute , University of Edinburgh, UK. See projects Lockheed Artificial Intelligence Center , USA. Artificial Intelligence Laboratory J. Stefan Institute , Ljubljana, Slovenia. Austrian Research Institute for Artificial Intelligence (OFAI). MIT Artificial Intelligence Laboratory (AI Lab), USA.

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 3     41-60 of 166    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | Next 20