633 search results - page 32 / 127 » Locality and Hard SAT-Instances |
186
click to vote
CIVR
2007
Springer
15 years 5 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...
125
click to vote
ICS
2010
Tsinghua U.
15 years 3 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...
135
click to vote
IJCAI
2001
15 years 3 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...
141
click to vote
CORR
2008
Springer
15 years 2 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...
140
click to vote
JFR
2007
15 years 1 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...