1535 search results - page 45 / 307 » Lazy Shape Analysis |
ICCV
2003
IEEE
14 years 10 months ago
2003
IEEE
See www.research.microsoft.com/jojic/epitome.htm for videos, comparisons and applications. We present novel simple appearance and shape models that we call epitomes. The epitome o...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— This work addresses the capability to use concentration gridmaps to locate a static gas source. In previous works it was found that depending on the shape of the mapped...
EGITALY
2006
13 years 9 months ago
2006
This paper reports a multidisciplinary research between computer science and plastic and reconstructive surgery. In particular, a new method is proposed to unambiguously define a ...
AADEBUG
1997
Springer
14 years 5 days ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
ENTCS
2010
13 years 5 months ago
2010
This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offset...