7335 search results - page 1044 / 1467 » Scene Based Reasoning |
232
click to vote
WOODPECKER
2001
15 years 8 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
179
click to vote
WSCG
2001
15 years 8 months ago
2001
This paper presents a fast disparity analysis approach based on a hybrid block- and pixel-recursive matching scheme. The key idea is to choose efficiently a small number of candid...
230
click to vote
OAS
2003
15 years 8 months ago
2003
Computing is moving toward a pervasive context-aware environment in which agents with limited resources will require external support to help them become context-aware. In this pa...
160
click to vote
AAAI
2000
15 years 8 months ago
2000
We analyze the complexity of propositional kernel resolution (del Val 1999), a general method for obtaining logical consequences in restricted target languages. Different choices ...
187
click to vote
AAAI
2000
15 years 8 months ago
2000
The ontology used by most card catalog and bibliographic systems is based on a now outdated assumption that users of the systems would be looking for books on shelves, and therefo...