882 search results - page 128 / 177 » Local Search for Very Large SAT Problems |
142
click to vote
INTERSPEECH
2010
15 years 9 days ago
2010
One of the difficult problems of acoustic modeling for Automatic Speech Recognition (ASR) is how to adequately model the wide variety of acoustic conditions which may be present i...
155
click to vote
CVPR
2009
IEEE
17 years 18 days ago
2009
IEEE
In this paper we consider the problem of object parsing,
namely detecting an object and its components by composing
them from image observations. Apart from object localization,
...
134
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
One of the key factors for the success of recent energy
minimization methods is that they seek to compute global
solutions. Even for non-convex energy functionals, optimization
...
118
click to vote
WINE
2009
Springer
16 years 2 days ago
2009
Springer
We propose approximation algorithms under game-theoretic considerations. We indroduce and study the general covering problem which is a natural generalization of the well-studied m...
171
click to vote
JNCA
2011
14 years 8 months ago
2011
In large-scale distributed virtual environments (DVEs), the NP-hard zone mapping problem concerns how to assign distinct zones of the virtual world to a number of distributed serv...