Image segmentation via multiresolution extrema following
Image segmentation via multiresolution extrema following
Proof methods for equational theories
Proof methods for equational theories
Recovering the orientation of textured surfaces in natural scenes (image processing)
Recovering the orientation of textured surfaces in natural scenes (image processing)
A representation for serial robotic tasks
A representation for serial robotic tasks
A knowledge system using hybrid reasoning schemes and exploiting a relational data-base as a frame-like knowledge base
Learning concepts with a prototype-based model for concept representation
Learning concepts with a prototype-based model for concept representation
Towards declarative control of computational deduction
Towards declarative control of computational deduction
A behavioral compiler for intelligent silicon compilation
A behavioral compiler for intelligent silicon compilation
Explanation-based learning of generalized robot assembly plans
Explanation-based learning of generalized robot assembly plans
Fuzzy sets, possibility distributions and their applications to image processing
Fuzzy sets, possibility distributions and their applications to image processing
Studies in Prolog architectures
Studies in Prolog architectures
Temporal-logic theorem proving
Temporal-logic theorem proving
Real time expert system to control a robot ping-pong player
Real time expert system to control a robot ping-pong player
Knowledge representation and inference in intelligent decision systems
Knowledge representation and inference in intelligent decision systems
Reconstruction and recognition of 3D objects from occluding contours and silhouettes
Reconstruction and recognition of 3D objects from occluding contours and silhouettes
A formal theory of plan recognition
A formal theory of plan recognition
Temporal reasoning in medical expert systems
Temporal reasoning in medical expert systems
A multiple-processor architecture for image processing
A multiple-processor architecture for image processing
Hierarchical motion detection
Lisp on a reduced-instruction-set processor: characterization and optimization
Lisp on a reduced-instruction-set processor: characterization and optimization
Resolving adversarial conflicts: an approach integration case-based and analytic methods
Resolving adversarial conflicts: an approach integration case-based and analytic methods
Representation of device knowledge for versatile fault diagnosis
Representation of device knowledge for versatile fault diagnosis
A knowledge-based approach to multiple transaction processing and distributed database design
A knowledge-based approach to multiple transaction processing and distributed database design
Toward a mathematical theory of plan synthesis
Toward a mathematical theory of plan synthesis
Storing and retrieving data in a parallel distributed memory system
Storing and retrieving data in a parallel distributed memory system
On the implementation of data intensive logic programs
On the implementation of data intensive logic programs
Model execution in a goal-oriented discrete event simulation environment
Model execution in a goal-oriented discrete event simulation environment
Derived relations with exceptions
Derived relations with exceptions
Parallel processing of production systems: an integrated software and hardware approach
Parallel processing of production systems: an integrated software and hardware approach
An analysis of cognitive theories in artificial intelligence and psychology in relation to the qualitative process of emotion
Proof-checking metamathematics (theorem-proving)
Proof-checking metamathematics (theorem-proving)
A unified theory of inference for text understanding
A unified theory of inference for text understanding
Aspects of image processing in noisy environments: restoration, detection, and pattern recognition
Aspects of image processing in noisy environments: restoration, detection, and pattern recognition
A model of probabilistic inference for decision-making under risk and uncertainty
A model of probabilistic inference for decision-making under risk and uncertainty
Evidential reasoning in expert systems (dempster-shafer theory)
Evidential reasoning in expert systems (dempster-shafer theory)
An evidential theory approach to judgment-based decision-making (forest management)
An evidential theory approach to judgment-based decision-making (forest management)
Artificial neural system design: rotation and scale invariant pattern recognition
Artificial neural system design: rotation and scale invariant pattern recognition
Analyzing errors in elementary mathematics
Analyzing errors in elementary mathematics
Mdx2: an integrated medical diagnostic system
Mdx2: an integrated medical diagnostic system
The biological implementation of nonlinear space-time coding in the retina and its application to the low level representation of visual information in machine vision systems
Real-time control of robot manipulators in the presence of obstacles
Real-time control of robot manipulators in the presence of obstacles
A theory of stratified meaning representation for natural language
A theory of stratified meaning representation for natural language
Concept acquisition through representational adjustment
Concept acquisition through representational adjustment
Automating rule strengths in expert systems
Automating rule strengths in expert systems
Motion planning and control of robot manipulators via application of a computer graphics animated display
A form definition language for an intelligent form
A form definition language for an intelligent form
Automatically provable specifications
Automatically provable specifications
Controlling the execution of logic programs
Controlling the execution of logic programs
An autonomous system for recovery from object manipulation errors in industrial robot tasks
An autonomous system for recovery from object manipulation errors in industrial robot tasks
A comparative analysis of guided vs. query-based intelligent tutoring systems (its) using a class - entity - relationship - attribute (cera) knowledge base
Artificial intelligence in the control of a refinery catalytic reformer
Artificial intelligence in the control of a refinery catalytic reformer
A procedural model in a knowledge system of a generalized intelligent decision support system which employs psychological and biological characteristics
Automated radar target recognition based on models of neural nets
Automated radar target recognition based on models of neural nets
Optimal and suboptimal control and reachability for general purpose manipulators
Optimal and suboptimal control and reachability for general purpose manipulators
Concept formation by heuristic classification
Concept formation by heuristic classification
Intelligent and integrated load management system
Intelligent and integrated load management system
Pattern recognition and interpretation by a binary-tree of processors
Pattern recognition and interpretation by a binary-tree of processors
Modeling mathematics learning: the use of examples in a dynamic epistemology of algebra
Modeling mathematics learning: the use of examples in a dynamic epistemology of algebra
Logic-based knowledge representation languages can represent complex objects and hierarchical structure in a natural manner (koral)
Learning object-centered representations
Learning object-centered representations
An investigation of multi-user expert systems
An investigation of multi-user expert systems
Hi-index | 0.00 |
The following are citations selected by title and abstract as being related to AI, resulting from a computer search, using the BRS information Technologies retrieval service, of the Dissertation Abstracts International (DAI) database produced by University Microfilms International.The online file includes abstracts, which are not published in this listing, but the citations below do include the DAI reference for finding the abstract in the published DAI. Other elements of the citation are author; university, degree, and, if available, number of pages; title; UM order number and year-month of DAI; and DAI subject category chosen by the author of the dissertation. References are sorted first by the initial DAI subject category and second by the author. In addition the database includes masters abstracts, denoted by MAI (Masters Abstracts International) instead of DAI as the reference to the abstract in the published MAI.Unless otherwise specified, paper or microform copies of dissertations may be ordered from University Microfilms International, Dissertation Copies. Post Office Box 1764, Ann Arbor, MI 48106; telephone for U.S. (except Michigan, Hawaii, Alaska): 1-800-521-3042, for Canada: 1-800-268-6090. Price lists and other ordering and shipping information are in the introduction to the published DAI.