3820 search results - page 530 / 764 » Bounded Model Debugging |
167
click to vote
TACAS
2012
Springer
13 years 10 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
162
click to vote
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
We propose a method to estimate the detailed 3D shape of a person from images of that person wearing clothing. The approach exploits a model of human body shapes that is learned fr...
139
click to vote
VIS
2004
IEEE
16 years 4 months ago
2004
IEEE
We present an efficient algorithm to mesh the macromolecules surface model represented by the skin surface defined by Edelsbrunner. Our algorithm overcomes several challenges resi...
124
click to vote
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
Classification of real-world data poses a number of challenging problems. Mismatch between classifier models and true data distributions on one hand and the use of approximate inf...
115
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
This paper addresses the problem of computational error modeling and analysis. Choosing different word-lengths for each functional unit in hardware implementations of numerical al...