10447 search results - page 1799 / 2090 » The Philosophy of Computer Science |
191
click to vote
GECCO
2005
Springer
16 years 28 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...
169
click to vote
ICALP
2005
Springer
16 years 28 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...
175
click to vote
ICALP
2005
Springer
16 years 28 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 ...
211
click to vote
ICALP
2005
Springer
16 years 28 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 ...
216
click to vote
ICALP
2005
Springer
16 years 28 days ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...