442 search results - page 4 / 89 » An efficient class and object encoding |
APSEC
2001
IEEE
13 years 10 months ago
2001
IEEE
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
CVPR
2010
IEEE
14 years 2 months ago
2010
IEEE
This paper presents a new approach for multi-view object class detection. Appearance and geometry are treated as separate learning tasks with different training data. Our approach...
CIVR
2008
Springer
13 years 9 months ago
2008
Springer
In information retrieval, sub-space techniques are usually used to reveal the latent semantic structure of a data-set by projecting it to a low dimensional space. Non-negative mat...
ICCV
2009
IEEE
15 years 2 days ago
2009
IEEE
A general framework simultaneously addressing pose
estimation, 2D segmentation, object recognition, and 3D
reconstruction from a single image is introduced in this
paper. The pr...
BDA
2004
13 years 8 months ago
2004
: XML DBMSs require new indexing techniques to efficiently process structural search and full-text search as integrated in XQuery. Much research has been done for indexing XML docu...