11016 search results - page 1912 / 2204 » Cloud Computing for Science |
179
click to vote
EUROCAST
2005
Springer
16 years 6 days ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...
165
click to vote
GECCO
2005
Springer
16 years 6 days ago
2005
Springer
Design optimization is a well established application field of evolutionary computation. However, standard recombination operators acting on the genotypic representation of the d...
146
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...
161
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
A union-find data structure maintains a collection of disjoint sets under makeset, union and find operations. Kaplan, Shafrir and Tarjan [SODA 2002] designed data structures for ...
185
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...