2586 search results - page 139 / 518 » Automatic Abstraction for Congruences |
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
CONSTRAINTS
2008
14 years 10 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
ICML
2002
IEEE
15 years 11 months ago
2002
IEEE
An open problem in reinforcement learning is discovering hierarchical structure. HEXQ, an algorithm which automatically attempts to decompose and solve a model-free factored MDP h...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
AIED
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A description of a novel domain-independent framework that automatically generates and fades scaffolding supports for task-oriented learning within exploratory environmen...