589 search results - page 116 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
CVPR
2012
IEEE
11 years 9 months ago
2012
IEEE
We address the problem of weakly supervised semantic segmentation. The training images are labeled only by the classes they contain, not by their location in the image. On test im...
GIS
2005
ACM
14 years 8 months ago
2005
ACM
Geographic Information Systems (GIS) are increasingly managing very large sets of data and hence a centralized data repository may not always provide the most scalable solution. H...
ICDAR
2011
IEEE
12 years 7 months ago
2011
IEEE
—A vast number of historical and badly degraded document images can be found in libraries, public, and national archives. Due to the complex nature of different artifacts, such p...
WWW
2009
ACM
14 years 8 months ago
2009
ACM
Users of social networking services can connect with each other by forming communities for online interaction. Yet as the number of communities hosted by such websites grows over ...
CIKM
2009
Springer
14 years 1 months ago
2009
Springer
Many web links mislead human surfers and automated crawlers because they point to changed content, out-of-date information, or invalid URLs. It is a particular problem for large, ...