1143 search results - page 69 / 229 » Mental models of recursion |
89
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
172
click to vote
FPCA
1995
15 years 4 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
128
Voted
APVIS
2009
15 years 1 months ago
2009
Although significant progress has been made toward effective insight discovery in visual sense making approaches, there is a lack of effective and efficient approaches to manage t...
174
Voted
NADA
1998
Springer
15 years 4 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
106
Voted
CHI
2009
ACM
15 years 7 months ago
2009
ACM
Visualisations of dynamic data change in appearance over time, reflecting changes in the underlying data, be that the development of a social network, or the addition or removal o...