6020 search results - page 290 / 1204 » A New Approach to Model Counting |
162
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
The quality of the lung nodule models determines the success of lung nodule detection. This paper describes aspects of our data-driven approach for modeling lung nodules using the...
177
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Multi-camera tracking systems often must maintain consistent identity labels of the targets across views to recover 3D trajectories and fully take advantage of the additional info...
154
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
236
click to vote
SEAL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Mainstream surrogate approaches for multi-objective problems build one approximation for each objective. Mono-surrogate approaches instead aim at characterizing the Paret...
195
click to vote
GRAPHITE
2003
ACM
15 years 12 months ago
2003
ACM
We consider a repository of animation models and motions that can be reused to generate new animation sequences. For instance, a user can retrieve an animation of a dog kicking it...