3446 search results - page 28 / 690 » A Reasoning Algorithm for pD* |
123
Voted
IJCAI
2001
15 years 5 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-...
127
Voted
IJCAI
1997
15 years 5 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...
126
Voted
IVC
2006
15 years 3 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 ...
154
Voted
AISC
1998
Springer
15 years 8 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, ...
141
Voted
OTM
2007
Springer
15 years 10 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...