6020 search results - page 280 / 1204 » A New Approach to Model Counting |
197
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper, a new scheme to address the face recognition problem is proposed. Different from traditional face recognition approaches which represent each facial image by a sing...
146
Voted
KI
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we present a new model of Java programs. We show how a program can be compiled into the model. The model can be directly used by a model-based diagnosis engine in ord...
210
Voted
ISORC
2005
IEEE
16 years 8 days ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
313
click to vote
SBIA
2010
Springer
15 years 5 months ago
2010
Springer
Most of modern constraint modeling languages combine rich constraint languages with mathematical notations to tackle combinatorial optimization problems. Our purpose is to introduc...
167
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper, we present a new model-based approach for building 3-D models of vehicles from color video provided by a traffic surveillance camera. We incrementally build 3D mode...