Sciweavers

3468 search results - page 65 / 694
» Solid and physical modeling
Sort
View
HICSS
2006
IEEE
111views Biometrics» more  HICSS 2006»
15 years 10 months ago
Physical Security and Vulnerability Modeling for Infrastructure Facilities
Dean A. Jones, Chad E. Davis, Mark A. Turnquist, L...
ITS
2004
Springer
153views Multimedia» more  ITS 2004»
15 years 9 months ago
Modeling Students' Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search
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 ...
Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn