2317 search results - page 282 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
143
Voted
CHI
1995
ACM
15 years 7 months ago
1995
ACM
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
130
Voted
ICMI
2003
Springer
15 years 9 months ago
2003
Springer
Multimodal interfaces are designed with a focus on flexibility, although very few currently are capable of adapting to major sources of user, task, or environmental variation. The...
147
Voted
WSC
2004
15 years 5 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
137
Voted
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
148
Voted
FLAIRS
2003
15 years 5 months ago
2003
This paper presents a way of improving computerbased with lifelike presence in learning environment. The approach combines Intelligent Tutoring Systems with research on human emot...