4229 search results - page 399 / 846 » On the Optimality of Spiral Search |
179
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
Experiential image retrieval systems aim to provide the user with a natural and intuitive search experience. The goal is to empower the user to navigate large collections based on...
176
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
— If we consider a query involving multiple domains, such as “find all database conferences held within six months in locations whose seasonal average temperature is 28◦ C a...
189
click to vote
MEMOCODE
2006
IEEE
16 years 25 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
176
click to vote
HM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper introduces a new algorithm, based on the concept of ejection chains, to effectively target vehicle routing problems with time window constraints (VRPTW). Ejec...
180
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Machine learning can be utilized to build models that predict the runtime of search algorithms for hard combinatorial problems. Such empirical hardness models have previo...