1547 search results - page 79 / 310 » Solving Knapsack Problems in a Sticker Based Model |
114
click to vote
CAV
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
157
click to vote
SGP
2004
15 years 5 months ago
2004
Providing a thorough mathematical foundation, multiresolution modeling is the standard approach for global surface deformations that preserve fine surface details in an intuitive ...
129
Voted
AMDO
2006
Springer
15 years 6 months ago
2006
Springer
This paper considers the problem of monocular human body tracking using learned models. We propose to learn the joint probability distribution of appearance and body pose using a m...
103
Voted
ICCV
2009
IEEE
16 years 7 months ago
2009
IEEE
Based on scaling laws describing the statistical structure
of turbulent motion across scales, we propose a multiscale
and non-parametric regularizer for optic-flow estimation.
R...
241
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
A new model for automatic generation of Evolutionary Algorithms (EAs) by evolutionary means is proposed in this paper. The model is based on a simple Genetic Algorithm (GA). Every...