110 search results - page 14 / 22 » Iterative reflections of monads |
CHI
2001
ACM
14 years 8 months ago
2001
ACM
We describe the design of tangible interfaces to the KidPad collaborative drawing tool. Our aims are to support the reenactment of stories to audiences, and integration within rea...
TEI
2009
ACM
14 years 2 months ago
2009
ACM
In this paper, we describe “The Other Brother”, a semiautonomous device that captures images and video of spontaneous moments in the course of everyday life. It was our goal t...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
The generic Multi-objective Evolutionary Algorithm (MOEA) aims to produce Pareto-front approximations with good convergence and diversity property. To achieve convergence, most mu...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
CC
2003
Springer
14 years 1 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...