Sciweavers

1546 search results - page 115 / 310
» Context-Aware Computing with Sound
Sort
View
137
Voted
PPDP
2001
Springer
15 years 9 months ago
Constructor-Based Conditional Narrowing
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
Sergio Antoy
CHI
1998
ACM
15 years 9 months ago
Designing Audio Aura
In this paper, we describe the process behind the design of Audio Aura. The goal of Audio Aura is to provide serendipitous information, via background auditory cues, that is tied ...
Elizabeth D. Mynatt, Maribeth Back, Roy Want, Mich...

Book
1569views
17 years 4 months ago
Introduction to Logic
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
Micha l Walicki
ICRA
2008
IEEE
138views Robotics» more  ICRA 2008»
15 years 11 months ago
Embedded auditory system for small mobile robots
— Auditory capabilities would allow small robots interacting with people to act according to vocal cues. In our recent work, we have demonstrated AUDIBLE, an auditory system capa...
Simon Brière, Jean-Marc Valin, Franç...
ESOP
2000
Springer
15 years 8 months ago
A Calculus for Link-Time Compilation
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
Elena Machkasova, Franklyn A. Turbak