3446 search results - page 141 / 690 » A Reasoning Algorithm for pD* |
135
click to vote
DLOG
2010
15 years 2 months ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
103
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
We consider the problem of automatically cleaning massive sonar data point clouds, that is, the problem of automatically removing noisy points that for example appear as a result ...
120
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
153
click to vote
CONSTRAINTS
2006
15 years 4 months ago
2006
Topological relations are important in various tasks of spatial reasoning, scene description and object recognition. The RCC8 spatial constraint language developed by Randell, Cui...
123
click to vote
AI
2004
Springer
15 years 3 months ago
2004
Springer
A version space is a collection of concepts consistent with a given set of positive and negative examples. Mitchell [Mit82] proposed representing a version space by its boundary s...