5090 search results - page 233 / 1018 » Constructing Strategies for Programming |
183
click to vote
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
125
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
We study observation-based strategies for two-player turn-based games on graphs with omega-regular objectives. An observation-based strategy relies on imperfect information about t...
121
click to vote
IADIS
2004
15 years 5 months ago
2004
WASA is an intelligent self-assessment agent of WADIES, a web-based learning environment which adapts its material to reflect the needs of the individual learner, whether it is fo...
146
click to vote
JUCS
2007
15 years 4 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
158
click to vote
ICDT
2001
ACM
15 years 9 months ago
2001
ACM
This paper presents a general methodology for the efficient parallelization of existing data cube construction algorithms. We describe two different partitioning strategies, one f...