633 search results - page 32 / 127 » Locality and Hard SAT-Instances |
CIVR
2007
Springer
14 years 1 months ago
2007
Springer
Semantic detection and recognition of objects and events contained in a video stream has to be performed in order to provide content-based annotation and retrieval of videos. This...
ICS
2010
Tsinghua U.
13 years 11 months ago
2010
Tsinghua U.
Data prefetching technique is widely used to bridge the growing performance gap between processor and memory. Numerous prefetching techniques have been proposed to exploit data pa...
IJCAI
2001
13 years 11 months ago
2001
Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Getting agents in the Internet, and in networks in general, to invest in and deploy security features and protocols is a challenge, in particular because of economic reasons arisi...
JFR
2007
13 years 9 months ago
2007
Urban Search And Rescue (USAR) is a time critical task. Rescue teams have to explore a large terrain within a short amount of time in order to locate survivors after a disaster. O...