566 search results - page 48 / 114 » A virtual class calculus |
CC
2001
Springer
14 years 8 days ago
2001
Springer
Abstract. This paper presents a framework for supporting the optimization of Java programs using attributes in Java class files. We show how class file attributes may be used to ...
ETS
2000
IEEE
13 years 7 months ago
2000
IEEE
Practice has shown that providing content to students alone is not sufficient for good learning results. In computer based training (CBT) and especially webbased training (WBT) en...
IJCAI
1993
13 years 9 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
—In this paper we propose the progressive clamping method to better model the kinematic anisotropy of joint limits for virtual mannequins or robots. Like recent approaches our me...
AIME
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents the cognitive model of gastroesophageal reflux disease (GERD) developed for the Maryland Virtual Patient simulation and mentoring environment. GERD represents a...