Sciweavers

783 search results - page 119 / 157
» Bridging the Gap
Sort
View
AIED
2009
Springer
15 years 10 months ago
Integrating Conceptual and Procedural Knowledge for Middle-school Math
Cognitive Tutors have been shown to lead to impressive improvement in student learning in a range of domains, including middle school mathematics. Most Cognitive Tutors focus on pr...
Gustavo Santos, Iris K. Howley, Brad Copenhaver, V...
SIGGRAPH
2010
ACM
15 years 10 months ago
Stable spaces for real-time clothing
We present a technique for learning clothing models that enables the simultaneous animation of thousands of detailed garments in real-time. This surprisingly simple conditional mo...
Edilson de Aguiar, Leonid Sigal, Adrien Treuille, ...
MICRO
1999
IEEE
108views Hardware» more  MICRO 1999»
15 years 10 months ago
Exploiting ILP in Page-based Intelligent Memory
This study compares the speed, area, and power of di erent implementations of Active Pages OCS98], an intelligent memory system which helps bridge the growing gap between processo...
Mark Oskin, Justin Hensley, Diana Keen, Frederic T...
TPHOL
1999
IEEE
15 years 10 months ago
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
Markus Wenzel
COBUILD
1998
Springer
15 years 10 months ago
The Timeless Way: Making Living Cooperative Buildings with Design Patterns
Interfaces to information systems, and the buildings in which such systems are embedded will typically be the result of the work of a large number of different disciplines, potenti...
Lyn Pemberton, Richard N. Griffiths