Sciweavers

2237 search results - page 160 / 448
» Advanced Prosody Modelling
Sort
View
ITS
2004
Springer
239views Multimedia» more  ITS 2004»
15 years 10 months ago
Detecting Student Misuse of Intelligent Tutoring Systems
Recent research has indicated that misuse of intelligent tutoring software is correlated with substantially lower learning. Students who frequently engage in behavior termed “gam...
Ryan Shaun Baker, Albert T. Corbett, Kenneth R. Ko...
138
Voted
HPDC
2003
IEEE
15 years 10 months ago
Policy Driven Heterogeneous Resource Co-Allocation with Gangmatching
Dynamic, heterogenous and distributively owned resource environments present unique challenges to the problems of resource representation, allocation and management. Conventional ...
Rajesh Raman, Miron Livny, Marvin H. Solomon
IPPS
1998
IEEE
15 years 9 months ago
Memory Space Representation for Heterogeneous Network Process Migration
A major difficulty of heterogeneous process migration is how to collect advanced dynamic data-structures, transform them into machine independent form, and restor them appropriate...
Kasidit Chanchio, Xian-He Sun
ITP
2010
155views Mathematics» more  ITP 2010»
15 years 8 months ago
A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
Anthony C. J. Fox, Magnus O. Myreen
ATAL
2006
Springer
15 years 8 months ago
Synthetic humans in emergency response drills
Being able to realistically simulate humans in emergency response activities is a key challenge for advancing the field of information technology for emergency response. Building ...
Daniel Massaguer, Vidhya Balasubramanian, Sharad M...