1284 search results - page 152 / 257 » On Helping and Interactive Proof Systems |
CHI
2011
ACM
13 years 1 months ago
2011
ACM
The rapid growth of human computation within research and industry has produced many novel ideas aimed at organizing web users to do great things. However, the growth is not adequ...
ICWL
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. To enable an online virtual university, a learning environment covering the entire spectrum of the learning and management process is required. However, constructing such...
AIED
2007
Springer
14 years 2 months ago
2007
Springer
: The use of Open-Learner Modelling (OLM) within Intelligent Learning Environments is becoming more common. By allowing learners a greater control over their learning experience, O...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— The concept of a mobile haptic interface for bimanual manipulations in 6 d.o.f. is presented. The design of this mobile haptic interface is based on a modular system consisting...
CMSB
2007
Springer
14 years 4 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...