2826 search results - page 157 / 566 » FFF97 - Oberon in the Real World |
173
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
207
click to vote
AISB
1995
Springer
15 years 10 months ago
1995
Springer
This paper describes a form of dynamical computational system--4he ant colony---and presents an ant colony model for continuous space optimisation problems. The ant colony metapho...
151
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
Autonomousagentsin the real world must be capableof asynchronous goal generation. However, one consequence of this ability is that the agent may generate a substantial number of go...
193
click to vote
USM
2000
15 years 10 months ago
2000
In the real world there seem to be essential differences between shops, tourist offices, city halls, theatres and museums. However, when we try to design virtual environments allow...
158
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...