3073 search results - page 291 / 615 » Real World Verification |
190
click to vote
PPSN
1998
Springer
15 years 10 months ago
1998
Springer
The production of specimen for microsystems or microcomponents is both, time and material-consuming. In a traditional design process the number of possible variations which can be ...
160
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. ...
184
Voted
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...
142
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...
172
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...