The nonlinear dynamics of artificial neural systems
The nonlinear dynamics of artificial neural systems
Hierarchical analysis of visual motion
Hierarchical analysis of visual motion
Techniques for real-time simulation of robot manipulators
Techniques for real-time simulation of robot manipulators
Extensions to unification grammar for the description of programming languages
Extensions to unification grammar for the description of programming languages
Log(F): an optimal combination of logic programming, rewriting, and lazy evaluation
Log(F): an optimal combination of logic programming, rewriting, and lazy evaluation
Recognition of polyhedral objects: concepts and algorithms
Recognition of polyhedral objects: concepts and algorithms
Syntactic and semantic analysis of definitions in a machine-readable dictionary
Syntactic and semantic analysis of definitions in a machine-readable dictionary
A formal language for representation of and reasoning about indirect context
A formal language for representation of and reasoning about indirect context
Real-time expert system for fault detection and failure prevention: an application
Real-time expert system for fault detection and failure prevention: an application
A string-matching based approach to optical recognition of handprinted Chinese characters
A string-matching based approach to optical recognition of handprinted Chinese characters
A three-phase query processing technique for indefinite databases
A three-phase query processing technique for indefinite databases
An efficient array processor for image recognition
An efficient array processor for image recognition
Geological lineament enhancement, identification and extraction from Landsat data. A case study: the Gulf of Suez
General systems problem solver: a frameworker for integrating systems methodologies
General systems problem solver: a frameworker for integrating systems methodologies
A motion detection multiprocessor computer system
A motion detection multiprocessor computer system
Time, space, and statistical improvements to the pathfinder network generation algorithm
Time, space, and statistical improvements to the pathfinder network generation algorithm
A knowledge based system approach for hydrocarbon prospect and play analysis
A knowledge based system approach for hydrocarbon prospect and play analysis
An intelligent interface node for use in computer-integrated manufacturing
An intelligent interface node for use in computer-integrated manufacturing
Singularity, uncertainty and compliance of robot manipulators
Singularity, uncertainty and compliance of robot manipulators
A formal approach to planning with concurrent actions and external events
A formal approach to planning with concurrent actions and external events
Machine translation with two-level grammars
Machine translation with two-level grammars
Computing albedo, illumination, and optical flow with spacetime-adaptive bandpass filtering
Computing albedo, illumination, and optical flow with spacetime-adaptive bandpass filtering
A model for construction schedule analysis during the design process
A model for construction schedule analysis during the design process
Compas: A computerized patient advice system to direct ventilatory care
Compas: A computerized patient advice system to direct ventilatory care
Protokol: A system-building aid for developing protocol-type knowledge bases
Protokol: A system-building aid for developing protocol-type knowledge bases
Culture, cognitive, and connectionism: Towards an hermeneutic anthropology of mind
Culture, cognitive, and connectionism: Towards an hermeneutic anthropology of mind
Qualitative decision support
Some effects of dynamic types on logic program execution
Some effects of dynamic types on logic program execution
Artificial intelligence applied to data fusion and situation assessment for command and control
Artificial intelligence applied to data fusion and situation assessment for command and control
A computer assisted learning system for reliability engineering
A computer assisted learning system for reliability engineering
Modelling legal argument: reasoning with cases and hypotheticals
Modelling legal argument: reasoning with cases and hypotheticals
Information management in integrated information system development environments
Information management in integrated information system development environments
A logic representation and analysis of behavior in distributed software systems
A logic representation and analysis of behavior in distributed software systems
An inductive engine for the acquisition of temporal knowledge
An inductive engine for the acquisition of temporal knowledge
Programming constructs for real-time distributed knowledge-based systems
Programming constructs for real-time distributed knowledge-based systems
Tactile sensing, perception and shape interpretation (cones)
Tactile sensing, perception and shape interpretation (cones)
Compliance and learning: control skills for a robot operating in an uncertain world
Compliance and learning: control skills for a robot operating in an uncertain world
Cage-based computer vision: the automatic generation of recognition strategies
Cage-based computer vision: the automatic generation of recognition strategies
Building in axioms and lemmas
The feasibility of using an expert system to assist first responders to chemical emergencies
The feasibility of using an expert system to assist first responders to chemical emergencies
A computational theory of visual word recognition
A computational theory of visual word recognition
Automatic visual inspection of integrated circuits using a sem
Automatic visual inspection of integrated circuits using a sem
Goal-directed control for computer vision
Goal-directed control for computer vision
A parallel implementation of logic programs
A parallel implementation of logic programs
Error detection and correction in a speech recognition system: a knowledge based system approach
Error detection and correction in a speech recognition system: a knowledge based system approach
A general explanation-based learning mechanism and its application to narrative understanding
A general explanation-based learning mechanism and its application to narrative understanding
Generation of model-based knowledge-acquisition tools for clinical-trial advice systems
Generation of model-based knowledge-acquisition tools for clinical-trial advice systems
Learning causal relationships: an integration of empirical and explanation-based learning methods
Learning causal relationships: an integration of empirical and explanation-based learning methods
The use of explicit user models in text generation: tailoring to a user's level of expertise
The use of explicit user models in text generation: tailoring to a user's level of expertise
On formalizing commonsense reasoning using the modal situation logic and reflective reasoning
On formalizing commonsense reasoning using the modal situation logic and reflective reasoning
Learning in structured connectionist networks
Learning in structured connectionist networks
Describing and recognizing 3-D objects using surface properties
Describing and recognizing 3-D objects using surface properties
A unification algorithm for simple theories
A unification algorithm for simple theories
A microprocessor-based robotic joint control engine
A microprocessor-based robotic joint control engine
Grasping and manipulation with multifingered robot hands
Grasping and manipulation with multifingered robot hands
Range image analysis for three-dimensional object recognition
Range image analysis for three-dimensional object recognition
Tutoring rule authoring system for intelligent computer-aided instruction: hypothetico-deductive problem solving in physiology (CAI)
Computer perception of repetitive textures
Computer perception of repetitive textures
A new algorithm for parsing generalized phrase structure grammar
A new algorithm for parsing generalized phrase structure grammar
Active multiple view object recognition
Active multiple view object recognition
A storage scheme for efficient processing of queries in indefinite deductive databases
A storage scheme for efficient processing of queries in indefinite deductive databases
Preceptor: a tutor for transforming algebraic word problems into abstract algebraic equations
Preceptor: a tutor for transforming algebraic word problems into abstract algebraic equations
Empirical analysis of a LISP system
Empirical analysis of a LISP system
Generalizing the structure of explanations in explanation-based learning
Generalizing the structure of explanations in explanation-based learning
Object recognition using tactile data (surface classification)
Object recognition using tactile data (surface classification)
Knowledge base and database integration in the architectural design process
Knowledge base and database integration in the architectural design process
Creating decision criteria from examples: the criteria learning system (CRLS)
Creating decision criteria from examples: the criteria learning system (CRLS)
Connectionist models of stereo vision
Connectionist models of stereo vision
Approaches to two-dimensional object recognition
Approaches to two-dimensional object recognition
Abstraction in planning
Knowledge-based support for software selection in information centers: design criteria, development issues, and empirical evaluation
Automatic generation of morphological set recognition algorithms
Automatic generation of morphological set recognition algorithms
Evidential-based control in knowledge-based systems
Evidential-based control in knowledge-based systems
A knowledge-based environment for hierarchical modelling and simulation
A knowledge-based environment for hierarchical modelling and simulation
The application of information theory to problems in decision tree rule-based expert systems
The application of information theory to problems in decision tree rule-based expert systems
The application of multidimensional scaling to a robotic vision model of space perception
The application of multidimensional scaling to a robotic vision model of space perception
An expert system for designing epidemiological research, with emphasis on cardiovascular diseases
An expert system for designing epidemiological research, with emphasis on cardiovascular diseases
Interactive adaptive analysis of graphic displays
Interactive adaptive analysis of graphic displays
Developing the user modelling function of an intelligent interface for document retrieval systems
Developing the user modelling function of an intelligent interface for document retrieval systems
Causal models in social science: determining the causal structure of a social system in a nonexperimental setting
Causal and plausible reasoning in expert systems
Causal and plausible reasoning in expert systems
The management of uncertainty in expert systems
The management of uncertainty in expert systems
A measure of polysemy on "roget's international thesaurus fourth edition". (volumes i and ii)
A measure of polysemy on "roget's international thesaurus fourth edition". (volumes i and ii)
Welfare eligibility determination system: an architecture for an expert system in an administrative domain
Using dynamic memory structures in planning and its application to manufacturing
Using dynamic memory structures in planning and its application to manufacturing
Intelligent agents as a basis for natural language interfaces
Intelligent agents as a basis for natural language interfaces
A parallel execution model for prolog
A parallel execution model for prolog
Knowledge-based support for management of end user computing resources: issues in knowledge elicitation and flexible design
Decentralized adaptive control of large scale systems, with application to robotics
Decentralized adaptive control of large scale systems, with application to robotics
Expert systems techniques for statistical data analysis
Expert systems techniques for statistical data analysis
A rule-based expert system for the determination of object structure and motion information from a sequence of digital images
Architectural approaches to the design of lisp oriented reduced instruction set machines
Architectural approaches to the design of lisp oriented reduced instruction set machines
Attributed image matching using a minimum representation size criterion
Attributed image matching using a minimum representation size criterion
The knowledge based representation and manipulation of geometry
The knowledge based representation and manipulation of geometry
Probability-related treatment of uncertainty in knowledge-based systems
Probability-related treatment of uncertainty in knowledge-based systems
Untrained boolean networks as connectionist processors
Untrained boolean networks as connectionist processors
Crane scheduling problem in a computer-integrated manufacturing environment
Crane scheduling problem in a computer-integrated manufacturing environment
A pattern directed inference approach to hardwood log breakdown decision automation
A pattern directed inference approach to hardwood log breakdown decision automation
Feature extraction in the machine recognition of speech
Feature extraction in the machine recognition of speech
An approach to the automated acquisition of production rules from repertory grid data
An approach to the automated acquisition of production rules from repertory grid data
Cofess--cooperative fuzzy expert systems for intelligent recognition
Cofess--cooperative fuzzy expert systems for intelligent recognition
Manipulator collision avoidance by dynamic programming
Manipulator collision avoidance by dynamic programming
Knowledge representation and manipulation in a generic reasoning system for device diagnosis
Knowledge representation and manipulation in a generic reasoning system for device diagnosis
A procedural approach to view independent three-dimensional object recognition and pose determination
The effects of restricted vocabulary size on voice interactive discourse structure
The effects of restricted vocabulary size on voice interactive discourse structure
Resolution proof technique in linear temporal logic
Resolution proof technique in linear temporal logic
A knowledge-based expert system for optimum design of bridge trusses
A knowledge-based expert system for optimum design of bridge trusses
Knowledge-based classification of landsat thematic mapper digital imagery
Knowledge-based classification of landsat thematic mapper digital imagery
A default logic approach to the derivation of natural language presuppositions
A default logic approach to the derivation of natural language presuppositions
Efficient structures for geometric data management
Efficient structures for geometric data management
The logic of time representation
The logic of time representation
Representational and nonrepresentational intentionality: husserl, heidegger, and artificial intelligence
Motion design, control and implementation in robot manipulators
Motion design, control and implementation in robot manipulators
Gazing: a technique for controlling the use of rewrite rules
Gazing: a technique for controlling the use of rewrite rules
Surface mapping using camera and dot projector motion and the epipolar constraint
Surface mapping using camera and dot projector motion and the epipolar constraint
Investigations into the foundations of functional programming and an implementation of existential quantification on a lambda calculus based reduction machine
The recognition of cursive script
The recognition of cursive script
Efficient support for rules and derived objects in relational database systems
Efficient support for rules and derived objects in relational database systems
Fractal geometry in image understanding
Fractal geometry in image understanding
Extension tables for recursive query evaluation
Extension tables for recursive query evaluation
A dynamic logic programming language for relational updates
A dynamic logic programming language for relational updates
A two level model-based approach for object recognition
A two level model-based approach for object recognition
Coordinated control of two robot arms by nonlinear feedback
Coordinated control of two robot arms by nonlinear feedback
Statistical and deterministic models for robot inaccuracy compensation using relative feature recognition
Two physical analogies applied to image processing
Two physical analogies applied to image processing
A descriptive mathematical model of spatial diffusion of an innovation: a case study of the american robotics technology
Optimistic concurrency control for prolog databases
Optimistic concurrency control for prolog databases
The binary-relational view and aspects of database and knowledge base systems work. (volumes i and ii)
Expert systems and heuristics in rota design (with reference to hospital staffing). (volumes i and ii)
Supporting environmental scanning and organizational communication with the processing of text: the use of computer-generated abstracts
A heuristically based navigation system for an autonomous walking machine with a range scanner
A heuristically based navigation system for an autonomous walking machine with a range scanner
An algorithmic approach for handling cyclic and noncyclic linear recursive queries in horn databases
An algorithmic approach for handling cyclic and noncyclic linear recursive queries in horn databases
Robust adaptive control of robotic manipulators
Robust adaptive control of robotic manipulators
Failure analysis decision-making: statistical categorization and reasoning by analogy
Failure analysis decision-making: statistical categorization and reasoning by analogy
Multiprocessor control of robotic manipulators
Multiprocessor control of robotic manipulators
A system for engineering flow drawing understanding
A system for engineering flow drawing understanding
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.