311 search results - page 1 / 63 » Object Invariants in Dynamic Contexts |
ECOOP
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
IBPRIA
2007
Springer
13 years 11 months ago
2007
Springer
Object recognition requires that templates with canonical views are stored in memory. Such templates must somehow be normalised. In this paper we present a novel method for obtaini...
IEAAIE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...
ESANN
2006
13 years 6 months ago
2006
This contribution describes an almost parameterless iterative context compilation method, which produces feature layers, that are especially suited for mixed bottom-up top-down ass...
CVPR
2008
IEEE
13 years 11 months ago
2008
IEEE
Image category recognition is important to access visual information on the level of objects and scene types. So far, intensity-based descriptors have been widely used. To increas...