5799 search results - page 1033 / 1160 » Health-OS: : a position paper |
166
click to vote
UIST
2005
ACM
16 years 1 days ago
2005
ACM
High precision parameter manipulation tasks typically require adjustment of the scale of manipulation in addition to the parameter itself. This paper introduces the notion of Zoom...
166
click to vote
AIED
2005
Springer
16 years 1 days ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
161
click to vote
AIED
2005
Springer
16 years 1 days ago
2005
Springer
This paper reports a pilot study of how to utilize simulated animal companions to encourage students to pay more effort in their study in the classroom environment. A class of stud...
169
click to vote
AIIA
2005
Springer
16 years 1 days ago
2005
Springer
We designed and implemented a software system, called WebCrow, that represents the first solver for Italian crosswords and the first system that tackles a language game using the...
159
click to vote
APN
2005
Springer
16 years 1 days ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...