Sciweavers

2946 search results - page 30 / 590
» Physical Modeling in MATLAB
Sort
View
HICSS
2006
IEEE
111views Biometrics» more  HICSS 2006»
15 years 12 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 11 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