1809 search results - page 217 / 362 » Software Model Checking Using Linear Constraints |
144
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
We describe a method for learning steerable deformable part models. Our models exploit the fact that part templates can be written as linear filter banks. We demonstrate that one...
109
click to vote
SIGGRAPH
1992
ACM
15 years 6 months ago
1992
ACM
We present a new approachto interactive modeling of freeform surfaces. Instead of a fixed mesh of control points, the model presented to the user is that of an infinitely malleabl...
137
click to vote
RT
1998
Springer
15 years 6 months ago
1998
Springer
We describe an interactive system to reconstruct 3D geometry and extract textures from a set of photographs taken with arbitrary camera parameters. The basic idea is to let the use...
133
click to vote
DCC
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, auto regressive (AR) model is applied to error concealment for block-based packet video encoding. Each pixel within the corrupted block is restored as the weighted ...
105
click to vote
MP
2010
15 years 20 days ago
2010
We study the mixed-integer rounding (MIR) closures of polyhedral sets. The MIR closure of a polyhedral set is equal to its split closure and the associated separation problem is N...