Sciweavers

3544 search results - page 435 / 709
» Rethinking the Presentation of Results from Web Search
Sort
View
FOCS
2007
IEEE
16 years 29 days ago
Strongly History-Independent Hashing with Applications
We present a strongly history independent (SHI) hash table that supports search in O(1) worst-case time, and insert and delete in O(1) expected time using O(n) data space. This ma...
Guy E. Blelloch, Daniel Golovin
CBSE
2005
Springer
16 years 5 days ago
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components
Abstract. Searching and subsequently selecting reusable components from component repositories has become a key impediment for not only component-based development but also for ach...
Naiyana Tansalarak, Kajal T. Claypool
RIAO
2004
15 years 8 months ago
Bilingual PRESRI - Integration of Multiple Research Paper Databases
Collecting all the papers in a research field is a first step towards an exhaustive survey. A number of research paper databases are available for searching papers. However, searc...
Hidetsugu Nanba, Takeshi Abekawa, Manabu Okumura, ...
CEC
2010
IEEE
15 years 7 months ago
A novel memetic algorithm for constrained optimization
In this paper, we present a memetic algorithm with novel local optimizer hybridization strategy for constrained optimization. The developed MA consists of multiple cycles. In each ...
Jianyong Sun, Jonathan M. Garibaldi
ECAI
2004
Springer
16 years 22 hour ago
Guiding a Theorem Prover with Soft Constraints
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
John K. Slaney, Arnold Binas, David Price