Sciweavers

1322 search results - page 126 / 265
» Efficient Goal-Directed Exploration
Sort
View
ACSC
2004
IEEE
15 years 7 months ago
In-Place versus Re-Build versus Re-Merge: Index Maintenance Strategies for Text Retrieval Systems
Indexes are the key technology underpinning efficient text search. A range of algorithms have been developed for fast query evaluation and for index creation, but update algorithm...
Nicholas Lester, Justin Zobel, Hugh E. Williams
123
Voted
ASPDAC
2006
ACM
108views Hardware» more  ASPDAC 2006»
15 years 7 months ago
Spec-based flip-flop and latch repeater planning
Abstract-- Shrinking process geometries and frequency scaling give rise to an increasing number of interconnects that require multiple clock cycles. This paper explores efficient t...
Man Chung Hon
134
Voted
CAISE
2006
Springer
15 years 7 months ago
An e-Librarian Service that Understands Natural Language Questions from Students
In this paper we present an e-librarian service which is able to retrieve multimedia resources from a knowledge base in a more efficient way than by browsing through an index or by...
Serge Linckels, Christoph Meinel, Thomas Engel
139
Voted
CMSB
2006
Springer
15 years 7 months ago
Compositional Reachability Analysis of Genetic Networks
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
Gregor Gößler
116
Voted
CRYPTO
2006
Springer
108views Cryptology» more  CRYPTO 2006»
15 years 7 months ago
Inverting HFE Is Quasipolynomial
In the last ten years, multivariate cryptography has emerged as a possible alternative to public key cryptosystems based on hard computational problems from number theory. Notably,...
Louis Granboulan, Antoine Joux, Jacques Stern