882 search results - page 128 / 177 » Local Search for Very Large SAT Problems |
125
click to vote
INTERSPEECH
2010
14 years 10 months 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...
135
Voted
CVPR
2009
IEEE
16 years 11 months 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,
...
118
click to vote
ICCV
2009
IEEE
16 years 8 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
...
104
Voted
WINE
2009
Springer
15 years 10 months 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...
148
click to vote
JNCA
2011
14 years 6 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...