4266 search results - page 618 / 854 » Search for More Declarativity |
175
click to vote
LICS
2009
IEEE
16 years 23 days ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
177
click to vote
ADMA
2009
Springer
16 years 22 days ago
2009
Springer
The goal of multi-objective clustering (MOC) is to decompose a dataset into similar groups maximizing multiple objectives in parallel. In this paper, we provide a methodology, arch...
152
click to vote
APPROX
2009
Springer
16 years 22 days ago
2009
Springer
In this paper, we provide a polylogarithmic bound that holds with high probability on the insertion time for cuckoo hashing under the random-walk insertion method. Cuckoo hashing ...
165
Voted
BPM
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Recently, a new generation of adaptive Process-Aware Information Systems (PAISs) has emerged, which enables structural process changes during runtime. Such flexibility, ...
184
click to vote
WEBI
2009
Springer
16 years 21 days ago
2009
Springer
Understanding query reformulation patterns is a key step towards next generation web search engines: it can help improving users’ web-search experience by predicting their inten...