Sciweavers

3973 search results - page 613 / 795
» Records for Logic Programming
Sort
View
ISPASS
2007
IEEE
15 years 10 months ago
Last-Touch Correlated Data Streaming
Recent research advocates address-correlating predictors to identify cache block addresses for prefetch. Unfortunately, address-correlating predictors require correlation data sto...
Michael Ferdman, Babak Falsafi
QSIC
2007
IEEE
15 years 10 months ago
Coping with API Evolution for Running, Mission-Critical Applications Using Virtual Execution Environment
Recent research showed that the majority of compatibility-breaking changes in a component-based, object-oriented software system are refactorings [5]. The software updating proces...
Bashar Gharaibeh, Tien N. Nguyen, J. Morris Chang
CP
2007
Springer
15 years 10 months ago
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
Christophe Lecoutre, Lakhdar Sais, Sébastie...
UM
2007
Springer
15 years 10 months ago
Inducing User Affect Recognition Models for Task-Oriented Environments
Accurately recognizing users’ affective states could contribute to more productive and enjoyable interactions, particularly for task-oriented learning environments. In addition t...
Sunyoung Lee, Scott W. McQuiggan, James C. Lester
ICAT
2006
IEEE
15 years 10 months ago
An Animation System for Imitation of Object Grasping in Virtual Reality
Interactive virtual characters are nowadays commonplace in games, animations, and Virtual Reality (VR) applications. However, relatively few work has so far considered the animatio...
Matthias Weber, Guido Heumer, Heni Ben Amor, Bernh...