6020 search results - page 58 / 1204 » A New Approach to Model Counting |
128
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We describe a new approach to fit the polyhedron describing a 3D building model to the point cloud of a Digital Elevation Model (DEM). We introduce a new kinetic framework that hi...
150
Voted
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Image matting is the task of estimating a fore- and background
layer from a single image. To solve this ill posed
problem, an accurate modeling of the scene’s appearance
is ne...
137
Voted
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
We present here a new descriptor for depth images adapted to 2D/3D model matching and retrieving. We propose a representation of a 3D model by 20 depth images rendered from the ve...
127
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
— As clock frequencies exceed giga-Hertz, the extra power loss due to conductor surface roughness in interconnects and packagings is more evident and thus demands a proper accou...
186
click to vote
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...