Sciweavers

3356 search results - page 386 / 672
» Computing education for sustainability
Sort
View
CORR
2000
Springer
134views Education» more  CORR 2000»
15 years 7 months ago
Learning Complexity Dimensions for a Continuous-Time Control System
This paper takes a computational learning theory approach to a problem of linear systems identification. It is assumed that inputs are generated randomly from a known class consist...
Pirkko Kuusela, Daniel Ocone, Eduardo D. Sontag
CORR
2000
Springer
112views Education» more  CORR 2000»
15 years 7 months ago
Evolution of differentiated expression patterns in digital organisms
Abstract. We investigate the evolutionary processes behind the development and optimization of multiple threads of execution in digital organisms using the avida platform, a softwa...
Charles Ofria, Christoph Adami, Travis C. Collier,...
CORR
2002
Springer
87views Education» more  CORR 2002»
15 years 7 months ago
Ultimate approximations in nonmonotonic knowledge representation systems
We study xpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sho...
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczyn...
CORR
2002
Springer
131views Education» more  CORR 2002»
15 years 7 months ago
Logic Programming with Ordered Disjunction
Abstract. Logic Programming paradigms that allow for expressing preferences have drawn a lot of research interest over the last years. Among them, the principle of ordered disjunct...
Gerhard Brewka
IFE
2002
69views more  IFE 2002»
15 years 7 months ago
Generierung interaktiver Animationen von Berechnungsmodellen
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
Stephan Diehl, Andreas Kerren