Sciweavers

1546 search results - page 117 / 310
» Context-Aware Computing with Sound
Sort
View
120
Voted
MM
2006
ACM
109views Multimedia» more  MM 2006»
15 years 11 months ago
Vocal telekinesis: physical control of inanimate objects with minimal paralinguistic voice input
Growing awareness of the possible over-dominance of the visual modality in the field of interactive media and of the existence of untapped dimensions of sound has led many develop...
Sama'a Al Hashimi, Gordon Davies
PADL
2004
Springer
15 years 10 months ago
An Algebraic Theory of Polymorphic Temporal Media
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
Paul Hudak
VMCAI
2004
Springer
15 years 10 months ago
Automatic Inference of Class Invariants
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
Francesco Logozzo
141
Voted
ECAL
2003
Springer
15 years 10 months ago
Conditions for Stable Vowel Systems in a Population
This paper describes an investigation of two computer models of how vowel systems can be transferred from one generation to the next. Humans tend to reduce the articulation of the ...
Bart de Boer
136
Voted
PROVSEC
2010
Springer
15 years 2 months ago
Distinguishing Distributions Using Chernoff Information
Abstract. In this paper, we study the soundness amplification by repetition of cryptographic protocols. As a tool, we use the Chernoff Information. We specify the number of attempt...
Thomas Baignères, Pouyan Sepehrdad, Serge V...