42230 search results - page 313 / 8446 » Algorithms and Complexity Results for |
154
click to vote
TACAS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
176
click to vote
GECCO
2005
Springer
16 years 5 days ago
2005
Springer
The problem of pedestrian injury is a significant one throughout the world. In 2001, there were 4724 pedestrian fatalities in Europe and 4882 in the US. Significant advances have ...
144
click to vote
GECCO
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper continues our systematic study of an RNAediting computational model of Genetic Algorithms (GA). This model is constructed based on several genetic editing char...
178
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
Several techniques that compute the join between two spatial datasets have been proposed during the last decade. Among these methods, some consider existing indices for the joined...
163
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper addresses distributed task allocation in complex scenarios modeled using the distributed constraint optimization problem (DCOP) formalism. We propose and evaluate a nov...