1149 search results - page 17 / 230 » What Are Iteration Theories |
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
MAAMAW
1994
Springer
13 years 11 months ago
1994
Springer
What is the relation between the complexity of agents and the complexity of the goals that they can achieve? It is argued on the basis of a fundamental conservation of complexity ...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
New forms of tangible and spatial child computer interaction and supporting technologies can be designed to leverage the way children develop intelligence in the world. In order t...
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
We argue that the failure to separate the concerns in CS1 is the leading cause of difficulty in teaching OOP in the first year. We show how the concerns can be detangled and prese...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
This paper is concerned with argumentation-based dialogues between agents. Much work in this area has been based upon an influential taxonomy of dialogue types developed by Walto...