3053 search results - page 2 / 611 » Structured Objects: Modeling and Reasoning |
CVPR
2009
IEEE
15 years 1 months ago
2009
IEEE
We study the problem of generating plausible interpretations
of a scene from a collection of line segments automatically
extracted from a single indoor image. We show that
we ca...
CSL
2001
Springer
13 years 10 months ago
2001
Springer
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
FMCO
2009
Springer
13 years 3 months ago
2009
Springer
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
DLOG
2008
13 years 8 months ago
2008
ICLP
2010
Springer
13 years 10 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...