882 search results - page 170 / 177 » Local Search for Very Large SAT Problems |
KDD
2004
ACM
14 years 7 months ago
2004
ACM
Recent years have witnessed a dramatic increase in the quantity of image data collected, due to advances in fields such as medical imaging, reconnaissance, surveillance, astronomy...
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, ...
GROUP
2005
ACM
14 years 29 days ago
2005
ACM
Shared workspace systems provide virtual places for selforganized and semi-structured cooperation between local and distributed team members. These cooperation systems have been a...
ISRR
2005
Springer
14 years 27 days ago
2005
Springer
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...
ISAAC
2004
Springer
14 years 23 days ago
2004
Springer
Motivation: Motif detection for DNA sequences has many important applications in biological studies, e.g., locating binding sites and regulatory signals, and designing genetic prob...