2192 search results - page 130 / 439 » Algorithms for Challenging Motif Problems |
FMCAD
2004
Springer
14 years 22 hour ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
AAAI
2007
13 years 10 months ago
2007
In recent years, the size of combinatorial applications and the need to produce high-quality solutions quickly have increased steadily, providing significant challenges for optim...
MM
2010
ACM
13 years 6 months ago
2010
ACM
In the context of computer-assisted plant identification we are facing challenging information retrieval problems because of the very high within-class variability and of the lim...
CVPR
2011
IEEE
13 years 4 months ago
2011
IEEE
The traditional shape-from-shading problem, with a single light source and Lambertian reflectance, is challenging since the constraints implied by the illumination are not suffi...
ICML
2008
IEEE
14 years 9 months ago
2008
IEEE
We consider the problem of optimizing multilabel MRFs, which is in general NP-hard and ubiquitous in low-level computer vision. One approach for its solution is to formulate it as...