71228 search results - page 233 / 14246 » Algorithms |
107
click to vote
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented t...
120
click to vote
DEXA
2010
Springer
15 years 2 months ago
2010
Springer
We consider the containment problem for conjunctive queries with atomic negation. Firstly, we refine an existing algorithm based on homomorphism checks, which itself improves other...
GECCO
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present a concurrent implementation of genetic algorithms designed for shared memory architectures intended to take advantage of multi-core processor platforms. O...
103
click to vote
DAM
2010
15 years 1 months ago
2010
In this paper we propose a new integer programming formulation for the multilevel facility location problem and a novel 3-approximation algorithm based on LP rounding. The linear ...
125
click to vote
AAECC
2006
Springer
15 years 1 months ago
2006
Springer
We propose a slight modification of the Berlekamp-Massey Algorithm for obtaining the minimal polynomial of a given linearly recurrent sequence. Such a modification enables to expl...