Computational characterization of a hybrid biochip
Computational characterization of a hybrid biochip
Towards a representation of Lisp semantics
Towards a representation of Lisp semantics
Debugging programs in a distributed system environment
Debugging programs in a distributed system environment
Surfaces in early range image understanding
Surfaces in early range image understanding
Proving correctness of asynchronous circuits using temporal logic
Proving correctness of asynchronous circuits using temporal logic
An expert system for harmonization of chorales in the style of J. S. Bach
An expert system for harmonization of chorales in the style of J. S. Bach
Hierarchical reasoning: simulating complex processes over multiple levels of abstraction
Hierarchical reasoning: simulating complex processes over multiple levels of abstraction
A study of inductive inference machines
A study of inductive inference machines
Diagnosing problem-solving
Plan recognition and discourse analysis: an integrated approach for understanding dialogues
Plan recognition and discourse analysis: an integrated approach for understanding dialogues
Nonclausal logic programming
Interpreting line drawings of curved objects
Interpreting line drawings of curved objects
Neural networks, pattern recognition, and fingerprint hallucination
Neural networks, pattern recognition, and fingerprint hallucination
Transferability of medical knowledge-base: a case study between internist-1 and help
Transferability of medical knowledge-base: a case study between internist-1 and help
The Clay VLSI layout language
A general empirical study of the reconstruction problem: probabilistic and possibilistic systems
A general empirical study of the reconstruction problem: probabilistic and possibilistic systems
Inferring domain plans in question-answering
Inferring domain plans in question-answering
Reasoning about systolic algorithms
Reasoning about systolic algorithms
Rational interaction: cooperation among intelligent agents
Rational interaction: cooperation among intelligent agents
Physics for robots: representing everday physics for robot planning
Physics for robots: representing everday physics for robot planning
RED: a classificatory and abductive expert system
RED: a classificatory and abductive expert system
A first order theory of software component interconnection languages in a maintenance environment
A first order theory of software component interconnection languages in a maintenance environment
Parallel processing model for logic programming
Parallel processing model for logic programming
INT-AID: the intelligent aid for relational database construction
INT-AID: the intelligent aid for relational database construction
Constructing and analyzing specifications of real world systems
Constructing and analyzing specifications of real world systems
Recursions and rule selections on a high level relation processor for knowledge-base machine
Recursions and rule selections on a high level relation processor for knowledge-base machine
On the management of computer aided design databases (object-oriented, refinements, alternatives, generalization, data model)
Computer thought: propositional attitudes and meta-knowledge (artificial intelligence, semantics, psychology, algorithms)
Object recognition using vision and touch
Object recognition using vision and touch
A theory of scalar implicature (natural languages, pragmatics, inference)
A theory of scalar implicature (natural languages, pragmatics, inference)
Correcting object-related misconceptions (natural language)
Correcting object-related misconceptions (natural language)
A structural model of the human face (graphics, animation, object representation)
A structural model of the human face (graphics, animation, object representation)
Intelligent computer-assisted instruction: artificial intelligence in instruction and training
Intelligent computer-assisted instruction: artificial intelligence in instruction and training
Computer vision techniques to aid the blind
Computer vision techniques to aid the blind
Knowledge-based motion control of an intelligent mobile autonomous system (mobile robots, machine, expert)
Application of artificial intelligence techniques to power system design
Application of artificial intelligence techniques to power system design
Learning by understanding analogies (reasoning)
Learning by understanding analogies (reasoning)
Visual programming with icons
Formal verification of digital systems (hierarchical modeling, petri nets, verification, rule-based)
Formal verification of digital systems (hierarchical modeling, petri nets, verification, rule-based)
Composite barriers and corner conditions in differential games
Composite barriers and corner conditions in differential games
Exploiting design morphology to manage complexity (test generation, reformulation, knowledge representation, problem solving, abstraction)
Controlling inference (meta-level, reasoning)
Controlling inference (meta-level, reasoning)
The essence of rum: a theory of the intensional and extensional aspects of lisp-type computation (program transformation, closure, continuation structure, comparison-relation)
A knowledge-based system for debugging concurrent software (ada, temporal logic)
A knowledge-based system for debugging concurrent software (ada, temporal logic)
Knowledge representation and database management for cad (cad/cam)
Knowledge representation and database management for cad (cad/cam)
Blast: a machine architecture for high-speed list processing using associative tables (traversal, pointers)
Artificial intelligence techniques in facilities layout planning: the development of an expert system (database)
Three dimensional recognition from depth images by detailed surface encoding (moment invariants)
Three dimensional recognition from depth images by detailed surface encoding (moment invariants)
Three dimensional object recognition using linear features and oriented model points (hough)
Three dimensional object recognition using linear features and oriented model points (hough)
A fully lazy higher order purely functional programming language with reduction semantics
A fully lazy higher order purely functional programming language with reduction semantics
Proving the consistency of database transactions (integrity constraints, theorem proving, program verification, database design)
A robot vision system (computer)
A robot vision system (computer)
A conceptual basis for integrated, model-based system design (simulation, expert system)
A conceptual basis for integrated, model-based system design (simulation, expert system)
Expert problem solving system for the audit planning process
Expert problem solving system for the audit planning process
Planning and scheduling using temporal logic
Planning and scheduling using temporal logic
A software architecture for strategic management support systems utilizing interactive graphics (stakeholder, reusable code, group decision support)
Using auditor knowledge to formulate data model constraints: an expert system for internal control evaluation
Some results on evaluating and checking functions for software redundancy (prolog, nondeterministic transducer, complexity)
The graph labeling model and its application to the problem of edge linking in computer vision
The graph labeling model and its application to the problem of edge linking in computer vision
High performance execution of prolog programs based on a static data dependency analysis (and-parallelism, semi-intelligent backtracking)
A knowledge-based approach to language production (natural, generation)
A knowledge-based approach to language production (natural, generation)
Specifying integrated circuit photolithography processes using heuristic and algorithmic techniques (computer-aided design, expert system)
The formulation of a rule-based gis framework for county land use planning (knowledge engineering)
The formulation of a rule-based gis framework for county land use planning (knowledge engineering)
Causal monitor generation for complex systems (constraints, representation)
Causal monitor generation for complex systems (constraints, representation)
Artificial intelligence methods for treating many-state problems: application to the multiphoton dynamics of spherical top molecules (methane)
Inferring spatial structure from feature correspondences (machine, computer vision, robotics, mobile, artificial intelligence)
Listlessness is better than laziness: an algorithm that transforms applicative programs to eliminate intermediate lists
Linguistic solid modeling using graph grammars
Linguistic solid modeling using graph grammars
An artificial intelligence environment for the analysis and classification of errors in discrete sequential processes (simulation, abduction, diagnostic, set-covering, modelling)
Theoretical and implementational aspects of parallel link resolution in connection graphs (commutativity, dcdp parallelism, dc)
Parallel architectures for problem solving (prolog, logic-programming, interconnection, network)
Parallel architectures for problem solving (prolog, logic-programming, interconnection, network)
Intelligent model management in an actuarial consulting system
Intelligent model management in an actuarial consulting system
Pattern-based and knowledge-directed query compilation for recursive data bases (expert, systems, reductive, logic)
On using causal knowledge to recognize vital signals: a study of knowledge-based interpretation of arrythmias
A generalized intelligent problem solving system based on a relational model for knowledge representation (support systems, expert, decision aids)
Semantic query optimization in deductive databases. (volumes i and ii) (integrity constraints, intelligent processing, logic)
Causal modeling as a basis for the design of an intelligent business problem formulation system (expert, decision support, path analysis, management information)
Planning by search through simulations
Planning by search through simulations
The effect of knowledge representation and psychological type on human understanding in the human-computer interface (expert systems, management information, deductive logic, decision support, myers-briggs)
A logic data model for the machine representation of knowledge
A logic data model for the machine representation of knowledge
Using discrimination graphs to represent visual knowledge
Using discrimination graphs to represent visual knowledge
Relaxation problem solving (with application to chinese input problem) (artificial intelligence)
Relaxation problem solving (with application to chinese input problem) (artificial intelligence)
Analysis of parallelism in logic programs. (volumes i and ii)
Analysis of parallelism in logic programs. (volumes i and ii)
A formalization of parsimonious covering and probabilistic reasoning in abductive diagnostic inference (expert systems, set, bayesian classification)
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.