1115 search results - page 43 / 223 » Separating Shape Graphs |
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
In object-based video, the encoding of the video data is decoupled into the encoding of shape, motion and texture information, which enables certain functionalities like content-b...
SAS
2007
Springer
14 years 2 months ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
ICIAR
2004
Springer
14 years 1 months ago
2004
Springer
Image retrieval and image compression have been pursued separately in the past. Only little research has been conducted on a synthesis of the two by allowing image retrieval to be ...
ICECCS
2007
IEEE
14 years 10 days ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
FGR
2004
IEEE
14 years 6 days ago
2004
IEEE
We present results of the first study to examine individual and multi-modal face recognition using 2D, 3D and infrared images of the same set of subjects. Each sensor captures dif...