3446 search results - page 28 / 690 » A Reasoning Algorithm for pD* |
100
click to vote
IJCAI
2001
15 years 2 months ago
2001
Understanding the process of categorization is a primary research goal in artificial intelligence. The conceptual space framework provides a flexible approach to modeling context-...
105
click to vote
IJCAI
1997
15 years 2 months ago
1997
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...
109
click to vote
IVC
2006
15 years 1 months ago
2006
An on-line algorithm for multi-object tracking is presented for monitoring a real-world scene from a single fixed camera. Potential objects are detected with adaptive backgrounds ...
133
click to vote
AISC
1998
Springer
15 years 5 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
120
click to vote
OTM
2007
Springer
15 years 7 months ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...