1366 search results - page 74 / 274 » Modularizing Contexted Constraints |
IJAR
2011
14 years 6 months ago
2011
Abstract. In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deter...
DAGM
2007
Springer
15 years 5 months ago
2007
Springer
Typical tracking algorithms exploit temporal coherence, in the sense of expecting only small object motions. Even without exact knowledge of the scene, additional spatial coherence...
ICFEM
2004
Springer
15 years 4 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
EMNLP
2007
15 years 20 days ago
2007
Sentence compression holds promise for many applications ranging from summarisation to subtitle generation and subtitle generation. The task is typically performed on isolated sen...
CONNECTION
2004
14 years 11 months ago
2004
Evidence from recent psycholinguistic experiments suggests that humans resolve reference incrementally in the presence of constraining visual context. In this paper, we present an...