2519 search results - page 193 / 504 » Reasoning with Textual Cases |
142
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
We present a new on-line scheme for the recognition and pose estimation of a large isolated 3-D object, which may not entirely fit in a camera's field of view. We do not assu...
165
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus ...
167
click to vote
CONTEXT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We study the extension of context ontologies towards enhanced qualitative spatio-temporal representations and reasoning. Our goal is to model and extract events that are ...
180
click to vote
ICADL
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper, an adaptive tool for providing suggestions during the information search process is presented. The tool uses case-based reasoning techniques to find the m...
159
click to vote
SEMWEB
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use ...