11182 search results - page 93 / 2237 » Shape Analysis of Sets |
149
Voted
ICCV
2003
IEEE
16 years 5 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...
113
Voted
ICRA
2005
IEEE
15 years 9 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...
142
Voted
AADEBUG
1997
Springer
15 years 8 months 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 ...
103
Voted
ENTCS
2010
15 years 1 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...
105
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, the finite volume method is developed to analyze coupled dynamic problems of nonlinear thermoelasticity. The major focus is given to the description of martensitic ...