1002 search results - page 28 / 201 » Reasoning about Object Structures Using Ownership |
133
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics, and graphs...
137
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Since most current scene understanding approaches operate
either on the 2D image or using a surface-based representation, they do
not allow reasoning about the physical constrain...
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
89
Voted
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
139
click to vote
IRCDL
2008
15 years 3 months ago
2008
Annotation and retrieval tools for multimedia digital libraries have to cope with the complexity of multimedia content. In particular, when dealing with video content, annotation ...