8009 search results - page 157 / 1602 » cans 2005 |
125
click to vote
EVOW
2005
Springer
15 years 10 months ago
2005
Springer
We show how an evolutionary algorithm can successfully be used to evolve a set of difficult to solve symmetric travelling salesman problem instances for two variants of the Lin-Ker...
134
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
143
click to vote
FORMATS
2005
Springer
15 years 10 months ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
134
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
156
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...