725 search results - page 35 / 145 » heuristics 2010 |
ERCIMDL
2010
Springer
13 years 11 months ago
2010
Springer
Given a set of keyphrases, we analyze how Web queries with these phrases can be formed that, taken altogether, return a specified number of hits. The use case of this problem is a ...
IV
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Dynamic recompilation tries to produce more efficient code by exploiting runtime information. Virtual machines like the Jikes RVM use recompilation heuristics to decide h...
CADE
2010
Springer
13 years 11 months ago
2010
Springer
In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair st...
GISCIENCE
2010
Springer
13 years 10 months ago
2010
Springer
We designed and implemented a simple and fast heuristic for placing multiple labels along edges of a planar network. As a testbed, realworld data from Google Transit is taken: our ...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
We report (to our knowledge) the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration o...