804 search results - page 77 / 161 » On the Termination of the Chase Algorithm |
135
click to vote
EC
2002
15 years 11 days ago
2002
Previous work on multiobjective genetic algorithms has been focused on preventing genetic drift and the issue of convergence has been given little attention. In this paper, we pre...
205
click to vote
SIGMOD
2009
ACM
16 years 24 days ago
2009
ACM
An approximate search query on a collection of strings finds those strings in the collection that are similar to a given query string, where similarity is defined using a given si...
108
click to vote
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
Wire routing in a VLSI chip often requires minimization of wire-length as well as the number of intersections among multiple nets. Such an optimization problem is computationally ...
137
click to vote
TWC
2008
15 years 13 days ago
2008
A novel framework was introduced recently for stochastic routing in wireless multihop networks, whereby each node selects a neighbor to forward a packet according to a probability...
110
Voted
TACAS
2010
Springer
15 years 7 months ago
2010
Springer
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...