Sciweavers

IJCAI
1993
13 years 6 months ago
Decidable Reasoning in Terminological Knowledge Representation Systems
Martin Buchheit, Francesco M. Donini, Andrea Schae...
IJCAI
1993
13 years 6 months ago
Reducing Ambiguity by Learning Assembly Specific Behaviour
In this paper we present a technique for automatically generating constraints on parameter derivatives that reduce ambiguity in the behaviour prediction. Starting with a behaviour...
Bert Bredeweg, Cis Schut
IJCAI
1993
13 years 6 months ago
The Statistical Learning of Accurate Heuristics
Heuristics used by search algorithms are usually composed of more primitive functions which we call "features". A method for combining features is presented which is bas...
Anna Bramanti-Gregor, Henry W. Davis
IJCAI
1993
13 years 6 months ago
Fuzzy Causal Simulation in Process Engineering
: This paper presents a causal simulation method for incompletely known dynamic systems in process engineering. The causal model of a process is represented as both a causal networ...
Kouamana Bousson, Louise Travé-Massuy&egrav...
IJCAI
1993
13 years 6 months ago
Compositional Model-Based Design
Prasanta K. Bose, Shankar A. Rajamoney
IJCAI
1993
13 years 6 months ago
Action Representation and Purpose: Re-evaluating the Foundations of Computational Vision
The traditional goal of computer vision, to reconstruct, or recover properties of, the scene has recently been challenged by advocates of a new purposive approach in which the vis...
Michael J. Black, Yiannis Aloimonos, Christopher M...
IJCAI
1993
13 years 6 months ago
PHI - A Logic-Based Tool for Intelligent Help Systems
Mathias Bauer, Susanne Biundo, Dietmar Dengler, Ja...
IJCAI
1993
13 years 6 months ago
Diagnosing and Solving Over-Determined Constraint Satisfaction Problems
Constraint relaxation is a frequently used technique for managing over-determined constraint satisfaction problems. A problem in constraint relaxation is the selection of the appr...
R. R. Bakker, F. Dikker, F. Tempelman, P. M. Wognu...