6020 search results - page 358 / 1204 » A New Approach to Model Counting |
181
click to vote
TIP
2002
15 years 6 months ago
2002
Abstract--This paper presents a new wavelet-based image denoising method, which extends a recently emerged "geometrical" Bayesian framework. The new method combines three...
160
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
186
click to vote
ICETE
2004
15 years 8 months ago
2004
: The music industry is an interesting example for how business models from the pre-Internet area can get into trouble in the new Internet-based economy. Since 2000, the music indu...
182
click to vote
CGF
2005
15 years 6 months ago
2005
Level set models combine a low-level volumetric representation, the mathematics of deformable implicit surfaces, and powerful, robust numerical techniques to produce a novel appro...
218
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Detecting objects in cluttered scenes and estimating articulated human body parts are two challenging problems in computer vision. The difficulty is particularly pronounced in ac...