Sciweavers

4067 search results - page 143 / 814
» Programs for Applying Symmetries
Sort
View
ICALT
2003
IEEE
14 years 1 months ago
Exploratory + Collaborative Learning in Programming: A Framework for the Design of Learning Activities
In this paper, we propose a framework for the design of learning activities, which follows the key idea of the “Learning-for-Use” model and adopts characteristics from the exp...
Agoritsa Gogoulou, Evangelia Gouli, Maria Grigoria...
EPS
1997
Springer
14 years 12 days ago
Performance-Enhanced Genetic Programming
Genetic Programming is increasing in popularity as the basis for a wide range of learning algorithms. However, the technique has to date only been successfully applied to modest t...
Chris Clack, Tina Yu
SIGMOD
1989
ACM
153views Database» more  SIGMOD 1989»
14 years 8 days ago
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
Atsushi Ohori, Peter Buneman, Val Tannen
CAV
2009
Springer
165views Hardware» more  CAV 2009»
14 years 7 days ago
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
Sven Verdoolaege, Gerda Janssens, Maurice Bruynoog...
ATAL
2006
Springer
13 years 12 months ago
SeSAm: implementation of agent-based simulation using visual programming
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...
Franziska Klügl, Rainer Herrler, Manuel Fehle...