Sciweavers

3468 search results - page 65 / 694
» Solid and physical modeling
Sort
View
HICSS
2006
IEEE
111views Biometrics» more  HICSS 2006»
14 years 2 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»
14 years 2 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