2393 search results - page 162 / 479 » Bounds-Consistent Local Search |
138
click to vote
SAT
2005
Springer
15 years 8 months ago
2005
Springer
Solvers for Quantified Boolean Formulae (QBF) use many analogues of technique from SAT. A significant amount of work has gone into extending conflict based techniques such as co...
116
click to vote
SIGIR
2000
ACM
15 years 7 months ago
2000
ACM
Most web pages are linked to others with related content. This idea, combined with another that says that text in, and possibly around, HTML anchors describe the pages to which th...
134
click to vote
IEEEPACT
1998
IEEE
15 years 7 months ago
1998
IEEE
Global locality analysis is a technique for improving the cache performance of a sequence of loop nests through a combination of loop and data layout optimizations. Pure loop tran...
102
click to vote
DCOSS
2010
Springer
15 years 5 months ago
2010
Springer
Jamming attacks are especially harmful when ensuring the dependability of wireless communication. Finding the position of a jammer will enable the network to actively exploit a wid...
141
click to vote
CLEF
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper describes a visual localization approach for mobile robots. Robot localization is performed as location recognition. The approach uses global visual features (...