Sciweavers

698 search results - page 62 / 140
» dagstuhl 2007
Sort
View
76
Voted
DAGSTUHL
2001
15 years 2 months ago
Animating Algorithms Live and Post Mortem
We first give an overview of the features of the GANIMAL Framework introducing several new concepts not present in any previous algorithm animation system. Then we focus on its me...
Stephan Diehl, Carsten Görg, Andreas Kerren
114
Voted
DAGSTUHL
2001
15 years 2 months ago
Constructive Foundations for Featherweight Java
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
Thomas Studer
69
Voted
DAGSTUHL
2003
15 years 2 months ago
On Evolutionary Design, Embodiment, and Artificial Regulatory Networks
In this contribution we consider the idea that successful evolutionary design is best achieved in a networked system. We exemplify this thought by a discussion of artificial regula...
Wolfgang Banzhaf
83
Voted
DAGSTUHL
2003
15 years 2 months ago
Specializing visualization algorithms
Abstract In this paper we look at the potential of program specialization techniques in the context of visualization. In particular we look at partial evaluation and pass separatio...
Stephan Diehl
88
Voted
DAGSTUHL
2003
15 years 2 months ago
Maximizing Learning Progress: An Internal Reward System for Development
This chapter presents a generic internal reward system that drives an agent to increase the complexity of its behavior. This reward system does not reinforce a predefined task. It...
Frédéric Kaplan, Pierre-Yves Oudeyer