7335 search results - page 515 / 1467 » Scene Based Reasoning |
186
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. ...
195
click to vote
FSTTCS
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
169
click to vote
UAI
1993
15 years 8 months ago
1993
: This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation, taking into account the existen...
175
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Scientists find that the human perception is based on the similarity on the manifold of data set. Isometric feature mapping (Isomap) is one of the representative techniques of man...
167
click to vote
CSL
2009
Springer
16 years 2 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...