2230 search results - page 213 / 446 » Reformulating Constraint Models Using Input Data |
129
click to vote
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
We propose using simple mixture models to define a set of mid-level binary local features based on binary oriented edge input. The features capture natural local structures in the...
114
click to vote
3DPVT
2004
IEEE
15 years 6 months ago
2004
IEEE
We present a novel range sensing method that is capable of constructing accurate 3D models of specular objects. Our method utilizes a new range imaging concept called multi-peak r...
159
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
125
click to vote
CAD
2000
Springer
15 years 2 months ago
2000
Springer
Very large and geometrically complex scenes, exceeding millions of polygons and hundreds of objects, arise naturally in many areas of interactive computer graphics. Time-critical ...
117
click to vote
ICIP
2008
IEEE
16 years 4 months ago
2008
IEEE
Because more output data must be created than is available from the input, magnification is an ill-posed problem. Traditional magnification relies on resampling an interpolation mo...