68 search results - page 8 / 14 » Realizability algebras: a program to well order R |
133
Voted
IPPS
2009
IEEE
15 years 7 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...
105
click to vote
UM
2007
Springer
15 years 6 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...
110
Voted
UIST
2010
ACM
14 years 10 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...
69
Voted
IWEC
2004
15 years 1 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...
107
Voted
MPC
2010
Springer
15 years 4 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...