4198 search results - page 313 / 840 » In search of lost time |
191
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
Query auto-completion (QAC) is a common feature in modern search engines. High quality QAC candidates enhance search experience by saving users time that otherwise would be spent ...
179
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
The paper presents a new distributed metaheuristic algorithm in an optimal control problem related to the cooling process in the continuous casting of steel. The optimization task...
235
Voted
ADL
2000
Springer
15 years 11 months ago
2000
Springer
A mediator system is a kind of a meta-search engine that provides a seamlessly integrated search service for diverse search engines (collections). Since collections of a mediator ...
137
click to vote
IPL
2010
15 years 5 months ago
2010
We develop a data structure for maintaining a dynamic multiset that uses O(n lg lg n/ lg n) bits and O(1) words, in addition to the space required by the n elements stored, suppor...
180
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...