867 search results - page 114 / 174 » On Two Forms of Structural Recursion |
73
Voted
BCSHCI
2009
15 years 1 months ago
2009
We describe the process of developing worth maps from field research and initial design sketches for a digital Family Archive, which resulted in a more simple and flexible worth m...
101
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
103
click to vote
ECAI
2010
Springer
15 years 23 days ago
2010
Springer
Knowledge compilation [6, 5, 14, 8] consists in transforming a problem offline into a form which is tractable online. In this paper, we introduce new structures, based on the notio...
CJ
2006
15 years 19 days ago
2006
Operations on spatial objects have much individuality. As a consequence, the spatial data modelling approaches, which have been proposed, have to consider either data types of the...
107
click to vote
TCS
2008
15 years 14 days ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...