7103 search results - page 641 / 1421 » Program Generation and Components |
167
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
We are developing a system to extract geodetic, textured CAD models from thousands of initially uncontrolled, close-range ground and aerial images of urban scenes. Here we describ...
203
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper presents reliable techniques for detecting, tracking, and storing keyframes of people in surveillance video. The first component of our system is a novel face detector ...
160
click to vote
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
This paper describes a novel approach to 3D motion estimation of planar objects based on eigennormalization, Expansion Matching (EXM) and a scaled orthographic projection model. O...
193
click to vote
SIGMOD
2002
ACM
16 years 7 months ago
2002
ACM
QURSED enables the development of web-based query forms and reports (QFRs) that query and report semistructured XML data, i.e., data that are characterized by nesting, irregularit...
221
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...