Combinatorial and algorithmic analysis of space decomposition problems
Combinatorial and algorithmic analysis of space decomposition problems
Logic programming semantics: techniques and applications
Logic programming semantics: techniques and applications
An analysis of the effects of selection in genetic algorithms
An analysis of the effects of selection in genetic algorithms
Automated discovery of causal relationships in managerial problem domains
Automated discovery of causal relationships in managerial problem domains
Computing with networks of threshold elements
Computing with networks of threshold elements
Understanding coreference in a system for solving physics word problems
Understanding coreference in a system for solving physics word problems
Learning control with neural networks
Learning control with neural networks
Group technology and expert systems concepts applied to statistical process control in small-batch manufacturing
A fast parallel algorithm for N-ary unification with AI applications
A fast parallel algorithm for N-ary unification with AI applications
Online motion planning
Tensor manipulation networks: connectionist and symbolic approaches to comprehension, learning, and planning
Learning from physical analogies: a study in analogy and the explanation process
Learning from physical analogies: a study in analogy and the explanation process
An intelligent tutoring system for graphic mapping strategies
An intelligent tutoring system for graphic mapping strategies
A computational treatment of the comparative
A computational treatment of the comparative
Notational definition and top-down refinement for interactive proof development systems
Notational definition and top-down refinement for interactive proof development systems
The acquisition of strategic knowledge
The acquisition of strategic knowledge
A generative taxonomy of application domains based on interaction semantics
A generative taxonomy of application domains based on interaction semantics
Credit-apportionment in rule-based systems: problem analysis and algorithm synthesis
Credit-apportionment in rule-based systems: problem analysis and algorithm synthesis
A software development environment that assists in the use and design of reusable modules
A software development environment that assists in the use and design of reusable modules
Model-based interpretation of time-ordered medical data
Model-based interpretation of time-ordered medical data
A general planning/scheduling paradigm for the constrained resource planning problem
A general planning/scheduling paradigm for the constrained resource planning problem
Model neural networks
A neural net model for discrete mappings foundations and implementation
A neural net model for discrete mappings foundations and implementation
A model-based representational framework for expert physics problem solving
A model-based representational framework for expert physics problem solving
A design paradigm for implementing robotic control algorithms in ASIC
A design paradigm for implementing robotic control algorithms in ASIC
Artificial intelligence and intelligent tutoring systems
Artificial intelligence and intelligent tutoring systems
The design and development of an expert system construction environment for inclusion of data resource knowledge
An artificial intelligence language to describe extended procedual networks
An artificial intelligence language to describe extended procedual networks
The influence of organizational hierarchies on the performance of distributed intelligent systems
The influence of organizational hierarchies on the performance of distributed intelligent systems
Concurrent LogLISP
Construction of a sound nonnumeric probabilistic reasoner
Construction of a sound nonnumeric probabilistic reasoner
A neural network approach to indexing in model-based computer version
A neural network approach to indexing in model-based computer version
A knowledge-based model of inherent audit risk assessment
A knowledge-based model of inherent audit risk assessment
The principles of “complementarity,” “cooperativity,” and “adaptive error control” in pattern learning and recognition: a physiological neural network model tested by computer-simulation
A prototype knowledge based system for preventive maintenance optimization
A prototype knowledge based system for preventive maintenance optimization
MetaLISP: a representation independent dialect of LISP with reduction semantics
MetaLISP: a representation independent dialect of LISP with reduction semantics
A diagnosis system using a task integrated problem solver architecture (TIPS), including causal reasoning
A probabilistic reasoning-based approach to machine learning
A probabilistic reasoning-based approach to machine learning
Deriving rules for medical expert systems using natural language parsing and discourse analysis
Deriving rules for medical expert systems using natural language parsing and discourse analysis
Architecture and language for a layered relational database
Architecture and language for a layered relational database
Knowledge-based synthesis of custom VLSI router software
Knowledge-based synthesis of custom VLSI router software
A knowledge-based help system with learning capability
A knowledge-based help system with learning capability
Partial objects in type theory
Partial objects in type theory
Automating algorithm design within a general architecture for intelligence
Automating algorithm design within a general architecture for intelligence
A knowledge-based system for tuning a macroeconometric model
A knowledge-based system for tuning a macroeconometric model
Reducing list access time for LISP execution
Reducing list access time for LISP execution
A conceptual framework for next-generation information systems
A conceptual framework for next-generation information systems
Explaining knowledge systems: justifying diagnostic conclusions
Explaining knowledge systems: justifying diagnostic conclusions
The design and implementation of an intelligent interface for information retrieval
The design and implementation of an intelligent interface for information retrieval
A knowledge-based approach to automated flow field zoning for computational fluid dynamics
A knowledge-based approach to automated flow field zoning for computational fluid dynamics
Robot cooperation: solving the motion coordination problem for two scara manipulators
Robot cooperation: solving the motion coordination problem for two scara manipulators
Integrating expert vision systems and spatial databases by unifying knowledge representation schemes: development in remote sensing image analysis expert systems and geographical information systems
Organization of a distributed computer system based on the CITO communication technique
Organization of a distributed computer system based on the CITO communication technique
Motion and structure from image sequences
Motion and structure from image sequences
A modification policy that accelerates the convergence of collective learning systems' optimality
A modification policy that accelerates the convergence of collective learning systems' optimality
Fuzzy disk modeling and rendering of textured complex three-dimensional surfaces of real objects
Fuzzy disk modeling and rendering of textured complex three-dimensional surfaces of real objects
An integrated software design paradigm
An integrated software design paradigm
A knowledge-based computer system for engineering design quotations
A knowledge-based computer system for engineering design quotations
On the design of a computer-aided design system for digital circuits
On the design of a computer-aided design system for digital circuits
Metaprolog: design, implementation, and application to a medical expert system in acid-base and electrolyte disorders
Design and implementation of an execution environment for knowledge-based systems
Design and implementation of an execution environment for knowledge-based systems
Modeling methodologies for intelligent systems
Modeling methodologies for intelligent systems
A computer vision system for the automatic assessment and identification of stenosis from angiograms
A computer vision system for the automatic assessment and identification of stenosis from angiograms
Low level and intermediate level vision in aerial images
Low level and intermediate level vision in aerial images
The development of expert systems for fuelwood energy crop selection
The development of expert systems for fuelwood energy crop selection
Designing intelligent knowledge and data bases for separation scheme synthesis---a case study of knowledge engineering in process engineering
A knowledge-based system for the design of connections in steel framed buildings
A knowledge-based system for the design of connections in steel framed buildings
Control of mixed-initiative discourse through meta-locutionary acts: a computational model
Control of mixed-initiative discourse through meta-locutionary acts: a computational model
A knowledge-based approach to logical database design: from business forms to fully normalized relations
The symbolic-neural method for creating models and control behaviors from examples
The symbolic-neural method for creating models and control behaviors from examples
Knowledge acquisition for business expert systems--a decision-centric model and its empirical validation
Parallel algorithms and vlsi architectures for robotics and assembly scheduling
Parallel algorithms and vlsi architectures for robotics and assembly scheduling
3d-poly: a robot vision system for recognizing objects in occluded environments
3d-poly: a robot vision system for recognizing objects in occluded environments
Application of machine vision to human shape analysis techniques in leaf and plant identification: an intelligent vision structure
Sensor and task planning in robotic assembly
Sensor and task planning in robotic assembly
Motion planning with geometric models
Motion planning with geometric models
Applications of artificial intelligence to digital photogrammetry
Applications of artificial intelligence to digital photogrammetry
Scald-1: towards an intelligent authoring system
Scald-1: towards an intelligent authoring system
Automated interpretation of digital images of hydrographic charts
Automated interpretation of digital images of hydrographic charts
Disc: a method for dynamic intelligent scheduling and control of reconfigurable parallel architectures
Inverse kinematic analysis of robot manipulators
Inverse kinematic analysis of robot manipulators
A computational process model of spatial navigation
A computational process model of spatial navigation
Persistence and modularity in prolog
Persistence and modularity in prolog
Alopex: a stochastic parallel optimization algorithm
Alopex: a stochastic parallel optimization algorithm
The use of knowledge based techniques for electronic computer-aided design (cad)
The use of knowledge based techniques for electronic computer-aided design (cad)
Semantic constraints in first order theories: a definition and its applicability
Semantic constraints in first order theories: a definition and its applicability
The processes of scientific research: the strategy of experimentation
The processes of scientific research: the strategy of experimentation
Incremental constraint satisfaction and its application to graphical interfaces
Incremental constraint satisfaction and its application to graphical interfaces
Considerations in designing a cybernetic simple 'learning' model; and an overview of the problem of modelling learning
Controller design for a robotic manipulator
Controller design for a robotic manipulator
Application of silicon compilation techniques to a robot controller design
Application of silicon compilation techniques to a robot controller design
An or parallel logic programming language: its compiler and abstract machine
An or parallel logic programming language: its compiler and abstract machine
A logical approach to schema-based inference
A logical approach to schema-based inference
Cognitive skills in modeling and simulation. (volumes i and ii)
Cognitive skills in modeling and simulation. (volumes i and ii)
Efficient algorithms for optimal force distribution in multiple-chain robotic systems
Efficient algorithms for optimal force distribution in multiple-chain robotic systems
An expert systems approach to model-based signal processing of shock phenomena
An expert systems approach to model-based signal processing of shock phenomena
A computational theory of metaphor
A computational theory of metaphor
The design and analysis of algorithm and data structure for efficient solutions of minimum-cost network flow problems on misd and mimd
An intelligent system approach for construction risk identification
An intelligent system approach for construction risk identification
Knowledge representation for expert systems in chemical process control design
Knowledge representation for expert systems in chemical process control design
In search of better decision-making in computer game playing
In search of better decision-making in computer game playing
Word sense disambiguation in descriptive text interpretation: a dual-route parsimonious covering model
Identification of desirable design features for statistical expert systems based on the opinion of statisticians
The director's apprentice: animating figures in a constrained environment
The director's apprentice: animating figures in a constrained environment
Application of an intelligent cai tutoring system to spelling instruction for learning disabled students
An intelligent simulation generator with a natural language interface
An intelligent simulation generator with a natural language interface
Step-logic: reasoning situated in time
Step-logic: reasoning situated in time
A model-based approach to on-line process disturbance management
A model-based approach to on-line process disturbance management
Incremental construction of three-dimensional models of a scene from sequentially planned views
Incremental construction of three-dimensional models of a scene from sequentially planned views
A knowledge-based methodology for productivity analysis
A knowledge-based methodology for productivity analysis
An interactive system for modeling the human perception of resemblance in patterns
An interactive system for modeling the human perception of resemblance in patterns
Some techniques in mathematical modeling of complex biological systems exhibiting learning
Some techniques in mathematical modeling of complex biological systems exhibiting learning
Scene segmentation and definition for autonomous robotic navigation using structured light processing
A knowledge-based system for debugging distributed programs
A knowledge-based system for debugging distributed programs
A model-based vision system for multiple object three-dimensional motion interpretation
A model-based vision system for multiple object three-dimensional motion interpretation
Al-khorezmi--an intelligent algebra tutoring system
Al-khorezmi--an intelligent algebra tutoring system
Task sequence planning for robotic assembly
Task sequence planning for robotic assembly
Satisficing feedback strategies for local navigation of autonomous mobile robots
Satisficing feedback strategies for local navigation of autonomous mobile robots
Aimb: analogy and intelligence in model building
Aimb: analogy and intelligence in model building
Information fractals for approximate reasoning in sensor-based robot grasp control
Information fractals for approximate reasoning in sensor-based robot grasp control
A rule-based paradigm for intelligent adaptive flight control
A rule-based paradigm for intelligent adaptive flight control
Three-dimensional object recognition using vector encoded scene data: representation of three-dimensional scenes using lists of vector encoded surface boundaries, list segmentation into volume descriptions, and recognition of objects defined in cad format
Expert system technology applied to the testing of complex digital electronic architectures. texas: a synergistic test strategy planning and functional test pattern generation methodology applicable to the design, development and testing of complex digital electronic circuits
Knowledge-based resolution of spatial conflicts in digital map design
Knowledge-based resolution of spatial conflicts in digital map design
A constructive approach to building a knowledge-based internal control evaluation review system
A constructive approach to building a knowledge-based internal control evaluation review system
Symbolic automation and numerical synthesis for robot kinematics
Symbolic automation and numerical synthesis for robot kinematics
Cogmir: a computer model for knowledge integration
Cogmir: a computer model for knowledge integration
An investigation into the effectiveness of intelligent tutoring on learning of college level statistics
Parsing and type inference for natural and computer languages
Parsing and type inference for natural and computer languages
Syntactic analysis of english with respect to government-binding grammar
Syntactic analysis of english with respect to government-binding grammar
Integration of artificial intelligence and operations research in production planning, scheduling and control
Computation of shape from stereo images with application to biological shape analysis
Computation of shape from stereo images with application to biological shape analysis
Command generation by tree search in artificial intelligence
Command generation by tree search in artificial intelligence
Modeling and analysis of multiple cooperating robot manipulators
Modeling and analysis of multiple cooperating robot manipulators
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 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.