68 search results - page 8 / 14 » Realizability algebras: a program to well order R |
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
Linear algebra algorithms are fundamental to many computing applications. Modern GPUs are suited for many general purpose processing tasks and have emerged as inexpensive high per...
UM
2007
Springer
14 years 1 months ago
2007
Springer
: SimStudent is a machine-learning agent that learns cognitive skills by demonstration. It was originally developed as a building block of the Cognitive Tutor Authoring Tools (CTAT...
UIST
2010
ACM
13 years 5 months ago
2010
ACM
Haptic feedback provides an additional interaction channel when auditory and visual feedback may not be appropriate. We present a novel haptic feedback system that changes its ela...
IWEC
2004
13 years 8 months ago
2004
Abstract. In this paper we use the concept of `social translucence' to understand users' initial reaction to, and use of, the voice communication channel provided by Xbox...
MPC
2010
Springer
13 years 11 months ago
2010
Springer
cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...