3053 search results - page 356 / 611 » Structured Objects: Modeling and Reasoning |
162
click to vote
DLOG
2000
15 years 5 months ago
2000
In this paper, we demonstrate that the main standard optimization techniques dependency directed backtracking and model merging can be adapted to description logics with concrete ...
157
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper deals with the 3D shape estimation from silhouette cues of multiple moving objects in general indoor or outdoor 3D scenes with potential static obstacles, using multipl...
130
Voted
KDD
2006
ACM
16 years 4 months ago
2006
ACM
Various data mining applications involve data objects of multiple types that are related to each other, which can be naturally formulated as a k-partite graph. However, the resear...
130
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
130
click to vote
KI
2008
Springer
15 years 3 months ago
2008
Springer
ed from context by seeing an explanation inferentially, much in the same way that early expert systems saw an explanation as chaining of inferences. This approach omitted, for the ...