図書

The MIT Press series in artificial intelligence

Icons representing 図書

The MIT Press series in artificial intelligence

Material type
図書
Author
-
Publisher
MIT Press
Publication date
-
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Related materials as well as pre- and post-revision versions

KAM, a system for intelligently guiding numerical experimentation by computerLeave the NDL website. Machine interpretation of line drawingsLeave the NDL website. Robot manipulators : mathematics, programming, and control : the computer control of robot manipulatorsLeave the NDL website. Solving geometric constraint systems : a case study in kinematicsLeave the NDL website. Three-dimensional computer vision : a geometric viewpointLeave the NDL website. Solid shapeLeave the NDL website. A robot ping-pong player : experiment in real-time intelligent controlLeave the NDL website. Solving the frame problem : a mathematical investigation of the common sense law of inertiaLeave the NDL website. In-depth understanding : a computer model of integrated processing for narrative comprehensionLeave the NDL website. Robotics research : the fourth international symposiumLeave the NDL website. Do the right thing : studies in limited rationalityLeave the NDL website. A theory of syntactic recognition for natural languageLeave the NDL website. Building problem solversLeave the NDL website. Visual reconstructionLeave the NDL website. Ontic : a knowledge representation system for mathematicsLeave the NDL website. The language complexity gameLeave the NDL website. Artificial intelligence and learning environmentsLeave the NDL website. Expert problem solving, natural language understanding, intelligent computer coaches, representation and learningLeave the NDL website. Made-up minds : a constructivist approach to artificial intelligenceLeave the NDL website. Computational theories of interaction and agencyLeave the NDL website. The soar papers : research on integrated intelligenceLeave the NDL website. Thinking between the lines : computers and the comprehension of causal descriptionsLeave the NDL website. Robotics research : the second international symposiumLeave the NDL website. Representing and reasoning with probabilistic knowledge : a logical approach to probabilitiesLeave the NDL website. Recent advances in qualitative physicsLeave the NDL website. The art of causal conjectureLeave the NDL website. Turtle geometry : the computer as a medium for exploring mathematicsLeave the NDL website. Truth and modality for knowledge representationLeave the NDL website. NETL, a system for representing and using real-world knowledgeLeave the NDL website. Machines that walk : the adaptive suspension vehicleLeave the NDL website. Artificial intelligence at MIT : expanding frontiersLeave the NDL website. Vision, instruction, and actionLeave the NDL website. Contemplating minds : a forum for artificial intelligenceLeave the NDL website. Qualitative reasoning : modeling and simulation with incomplete knowledgeLeave the NDL website. Nonmonotonic reasoningLeave the NDL website. The paralation model : architecture-independent parallel programmingLeave the NDL website. The acquisition of syntactic knowledgeLeave the NDL website. Reasoning about change : time and causation from the standpoint of artificial intelligenceLeave the NDL website. Turtle geometry : the computer as a medium for exploring mathematicsLeave the NDL website. Artificial vision for mobile robots : stereo vision and multisensory perceptionLeave the NDL website. Legged robots that balanceLeave the NDL website. Active visionLeave the NDL website. Understanding vision, manipulation, computer design, symbol manipulationLeave the NDL website. Object recognition by computer : the role of geometric constraintsLeave the NDL website. Building problem solvers : listingsLeave the NDL website. Experiments in the machine interpretation of visual motionLeave the NDL website. The connection machineLeave the NDL website. Geometric invariance in computer visionLeave the NDL website. Model-based control of a robot manipulatorLeave the NDL website. Robot motion : planning and controlLeave the NDL website. Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logicsLeave the NDL website. Robotics research : the third international symposiumLeave the NDL website. Computational models of discourseLeave the NDL website. 3D model recognition from stereoscopic cuesLeave the NDL website. The interpretation of visual motionLeave the NDL website. From images to surfaces : a computational study of the human early visual systemLeave the NDL website. Artificial intelligence : concepts and applications in engineeringLeave the NDL website. Knowledge-based tutoring : the GUIDON programLeave the NDL website. Robot hands and the mechanics of manipulationLeave the NDL website. Visual reconstructionLeave the NDL website. AI in the 1980s and beyond : an MIT surveyLeave the NDL website. Model-based control of a robot manipulatorLeave the NDL website. Actors : a model of concurrent computation in distributed systemsLeave the NDL website. Handey : a robot task plannerLeave the NDL website. Robotics research : the Fifth International SymposiumLeave the NDL website. Robotics research : the First International SymposiumLeave the NDL website. Theories of comparative analysisLeave the NDL website. Vector models for data-parallel computingLeave the NDL website. Machine translation : a view from the lexiconLeave the NDL website. From images to surfaces : a computational study of the human early visual systemLeave the NDL website. Expert systems : human issuesLeave the NDL website. Actors : a model of concurrent computation in distributed systemsLeave the NDL website. A robot ping-pong player : experiment in real-time intelligent controlLeave the NDL website.

Search by Bookstore

Table of Contents

  • KAM, a system for intelligently guiding numerical experimentation by computer

  • Machine interpretation of line drawings

  • Robot manipulators : mathematics, programming, and control : the computer control of robot manipulators

  • Solving geometric constraint systems : a case study in kinematics

  • Three-dimensional computer vision : a geometric viewpoint

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • CiNii Research

    Search Service
    Paper
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Publication, Distribution, etc.
Alternative Title
MIT Press series in artificial intelligence
Artificial intelligence
Place of Publication (Country Code)
us
Target Audience
一般
Related Material
KAM, a system for intelligently guiding numerical experimentation by computer
Machine interpretation of line drawings
Robot manipulators : mathematics, programming, and control : the computer control of robot manipulators
Solving geometric constraint systems : a case study in kinematics
Three-dimensional computer vision : a geometric viewpoint
Solid shape
A robot ping-pong player : experiment in real-time intelligent control
Solving the frame problem : a mathematical investigation of the common sense law of inertia
In-depth understanding : a computer model of integrated processing for narrative comprehension
Robotics research : the fourth international symposium
Do the right thing : studies in limited rationality
A theory of syntactic recognition for natural language
Building problem solvers
Visual reconstruction
Ontic : a knowledge representation system for mathematics
The language complexity game
Artificial intelligence and learning environments
Expert problem solving, natural language understanding, intelligent computer coaches, representation and learning
Made-up minds : a constructivist approach to artificial intelligence
Computational theories of interaction and agency
The soar papers : research on integrated intelligence
Thinking between the lines : computers and the comprehension of causal descriptions
Robotics research : the second international symposium
Representing and reasoning with probabilistic knowledge : a logical approach to probabilities
Recent advances in qualitative physics
The art of causal conjecture
Turtle geometry : the computer as a medium for exploring mathematics
Truth and modality for knowledge representation
NETL, a system for representing and using real-world knowledge
Machines that walk : the adaptive suspension vehicle
Artificial intelligence at MIT : expanding frontiers
Vision, instruction, and action
Contemplating minds : a forum for artificial intelligence
Qualitative reasoning : modeling and simulation with incomplete knowledge
Nonmonotonic reasoning
The paralation model : architecture-independent parallel programming
The acquisition of syntactic knowledge
Reasoning about change : time and causation from the standpoint of artificial intelligence
Turtle geometry : the computer as a medium for exploring mathematics
Artificial vision for mobile robots : stereo vision and multisensory perception
Legged robots that balance
Active vision
Understanding vision, manipulation, computer design, symbol manipulation
Object recognition by computer : the role of geometric constraints
Building problem solvers : listings
Experiments in the machine interpretation of visual motion
The connection machine
Geometric invariance in computer vision
Model-based control of a robot manipulator
Robot motion : planning and control
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
Robotics research : the third international symposium
Computational models of discourse
3D model recognition from stereoscopic cues
The interpretation of visual motion
From images to surfaces : a computational study of the human early visual system
Artificial intelligence : concepts and applications in engineering
Knowledge-based tutoring : the GUIDON program
Robot hands and the mechanics of manipulation
Visual reconstruction
AI in the 1980s and beyond : an MIT survey
Model-based control of a robot manipulator
Actors : a model of concurrent computation in distributed systems
Handey : a robot task planner
Robotics research : the Fifth International Symposium
Robotics research : the First International Symposium
Theories of comparative analysis
Vector models for data-parallel computing
Machine translation : a view from the lexicon
From images to surfaces : a computational study of the human early visual system
Expert systems : human issues
Actors : a model of concurrent computation in distributed systems
A robot ping-pong player : experiment in real-time intelligent control
Data Provider (Database)
国立情報学研究所 : CiNii Research
Original Data Provider (Database)
CiNii Books