3812 search results - page 667 / 763 » Combinations of TRAP Based Systems |
IPPS
2010
IEEE
14 years 8 months ago
2010
IEEE
Innovative scientific applications and emerging dense data sources are creating a data deluge for highend computing systems. Processing such large input data typically involves cop...
UIST
2010
ACM
14 years 7 months ago
2010
ACM
We describe techniques for direct pen+touch input. We observe people's manual behaviors with physical paper and notebooks. These serve as the foundation for a prototype Micro...
WCET
2010
14 years 7 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
EDM
2009
14 years 7 months ago
2009
This paper presents several methods to automatically detecting students' mental models in MetaTutor, an intelligent tutoring system that teaches students self-regulatory proce...
GI
2009
Springer
14 years 7 months ago
2009
Springer
: The integration and usage of uncertain sensor data in workflows is a difficult problem. In this paper we describe these difficulties which result from the combination of very dis...