6020 search results - page 394 / 1204 » A New Approach to Model Counting |
219
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Our objective is transfer training of a discriminatively trained object category detector, in order to reduce the number of training images required. To this end we propose three ...
202
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a new method of fitting an element-free volumetric model to a sequence of deforming surfaces of a moving object. Given a sequence of visual hulls, we iteratively fit an...
315
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Model-based development promises to increase productivity by offering modeling languages tailored to a specific domain. Such modeling languages are typically defined by a metamodel...
175
click to vote
GECCO
2004
Springer
16 years 7 days ago
2004
Springer
Understanding the hierarchical relationships among biochemical, metabolic, and physiological systems in the mapping between genotype and phenotype is expected to improve the diagno...
166
click to vote
TACAS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...