1546 search results - page 135 / 310 » Context-Aware Computing with Sound |
141
Voted
ENTCS
2007
15 years 5 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
CHI
2010
ACM
15 years 12 months ago
2010
ACM
In television shows, we are familiar with the sound of artificial laughter, the so called “canned laughter” or “laugh track”. It generally has an enhancing effect on the v...
138
click to vote
CASES
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
160
Voted
CHI
2005
ACM
15 years 7 months ago
2005
ACM
In this user study, we address several open issues in the design of waiting cues for system response time (SRT) in interactive telephony speech applications. User observations and...
149
click to vote
HAID
2008
Springer
15 years 6 months ago
2008
Springer
Sound is touch at a distance. The vibration of pressure waves in the air creates sounds that our ears hear, at close range, these pressure waves may also be felt as vibration. This...