4767 search results - page 128 / 954 » Structures for Abstract Rewriting |
82
Voted
DSOM
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Current self-healing systems are built from “convergent” actions that only make repairs when necessary. Using an algebraic model of system administration, we challeng...
113
click to vote
ECAL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We propose an ecosystem of self-replicating cellular automaton loops by designing new rules for interactions between individual loops. The loops interact competitively wi...
112
Voted
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The building block hypothesis implies that the epistatic property of a given problem must be connected well to the linkage property of the employed representation and cro...
120
click to vote
AISC
2004
Springer
15 years 6 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
119
click to vote
AMR
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper presents an approach to the issue of adding structure to recordings of collaborative meetings supported by an audio channel and a shared text editor. The virtu...