119 search results - page 21 / 24 » Invariants for Non-Hierarchical Object Structures |
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
Local feature methods suitable for image feature based object recognition and for the estimation of motion and structure are composed of two steps, namely the `where' and `wh...
JAR
2008
13 years 7 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
WISE
2005
Springer
14 years 27 days ago
2005
Springer
The Web is a distributed network of information sources where the individual sources are autonomously created and maintained. Consequently, syntactic and semantic heterogeneity of ...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Parameterized Appearance Models (PAMs) (e.g. eigentracking, active appearance models, morphable models) use Principal Component Analysis (PCA) to model the shape and appearance of...