Computing intrinsic images
Verification and translation of distributed computing system software design
Verification and translation of distributed computing system software design
Explanation generation from algebraic specification through hyperresolution and demodulation: automated heuristic assistance; Vols. I and II
Surfaces from stereo: an integrated approach
Surfaces from stereo: an integrated approach
A neural model of human prehension
A neural model of human prehension
Feature structures: a logical theory with application to language analysis
Feature structures: a logical theory with application to language analysis
A predictive monitoring architecture for expert systems
A predictive monitoring architecture for expert systems
Automatic contour definition on left ventriculograms by image evidence and a multiple template-based model
AND/OR: a system for manufacturing process control and simulation
AND/OR: a system for manufacturing process control and simulation
A knowledge-based design aid for the construction of software systems
A knowledge-based design aid for the construction of software systems
Sequentialization of logic programs
Sequentialization of logic programs
Logic progrmming for parallel implementation
Logic progrmming for parallel implementation
Updating databases with incomplete information
Updating databases with incomplete information
TREAT: a new and efficient match algorithm for AI production systems
TREAT: a new and efficient match algorithm for AI production systems
Analogical and inductive reasoning
Analogical and inductive reasoning
Explanation-based learning via constraint posting and propagation
Explanation-based learning via constraint posting and propagation
Prosody and Speech Recognition
Prosody and Speech Recognition
Sauci: self-adaptive user-computer interface (expert systems, artificial intelligence)
Sauci: self-adaptive user-computer interface (expert systems, artificial intelligence)
Imprecise reasoning in intelligent decision support systems
Imprecise reasoning in intelligent decision support systems
Kismet: a knowledge-based system for the simulation of discrete manufacturing operations
Kismet: a knowledge-based system for the simulation of discrete manufacturing operations
Parallelism in production systems
Parallelism in production systems
An experimental comparison of uncertain inference systems (artificial intelligence, probability, entropy)
Object recognition from range images (vision, evidence)
Object recognition from range images (vision, evidence)
Machine vision for mobile robots
Machine vision for mobile robots
Reasoning with incomplete information: investigations of non-monotonic reasoning
Reasoning with incomplete information: investigations of non-monotonic reasoning
An expert view creation system for database design
An expert view creation system for database design
A mathematical formulation for the analytical design of intelligent machines (entropy rate)
A mathematical formulation for the analytical design of intelligent machines (entropy rate)
Natural language dialogue in an integrated computational model
Natural language dialogue in an integrated computational model
Knowledge retrieval as specialized inference (artificial intelligence, sorted logic)
Knowledge retrieval as specialized inference (artificial intelligence, sorted logic)
Assessing and forecasting the implications of artificial intelligence systems on pedagogy in the public sector
On automatically generating and using examples in a computational logic system (artificial intelligence, theorem proving, formal reasoning)
An intelligent remote file server (network, unix, marsupial)
An intelligent remote file server (network, unix, marsupial)
Semantically guided hierarchical deduction and equality conditional resolution (theorem proving)
Semantically guided hierarchical deduction and equality conditional resolution (theorem proving)
Interpretation of visual motion: a computational study (image, optical flow)
Interpretation of visual motion: a computational study (image, optical flow)
Integrating high level and low level computer vision (architecture, pyramids)
Integrating high level and low level computer vision (architecture, pyramids)
On the inductive inference of programs with anomalies
On the inductive inference of programs with anomalies
An automatic object recognition system
An automatic object recognition system
Global optimization of logic programs (analysis, transformation, compilation)
Global optimization of logic programs (analysis, transformation, compilation)
A framework for practical microcode synthesis
A framework for practical microcode synthesis
Knowledge-based model construction: an automatic programming approach to simulation modeling (expert systems)
Development of an expert system for multichannel eeg signal analysis
Development of an expert system for multichannel eeg signal analysis
Hi-index | 0.00 |
The following are citations selected by title and abstract as being related to Al, 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.