7825 search results - page 152 / 1565 » Physics |
142
click to vote
ITS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
GLVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
176
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
129
click to vote
VR
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a wireless virtual reality system and a prototype full body Tai Chi training application. Our primary contribution is the creation of a virtual reality system that trac...