Sciweavers

783 search results - page 119 / 157
» Bridging the Gaps
Sort
View
AIED
2009
Springer
14 years 8 days 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
14 years 4 days 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»
13 years 12 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
13 years 12 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
13 years 12 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