8917 search results - page 191 / 1784 » Abstraction in Algorithm Animation |
129
click to vote
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
117
click to vote
AE
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. The standard choice for mutating an individual of an evolutionary algorithm with continuous variables is the normal distribution. It is shown that there is a broad class ...
131
click to vote
COCOON
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We revisit the online unit clustering problem in one dimension which we recently introduced at WAOA'06: given a sequence of n points on the line, the objective is to...
183
click to vote
ICCBR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
CG
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. A one-player, finite, probabilistic game with perfect information can be presented as a bipartite graph. For one-player Can't Stop, the graph is cyclic and the chall...