269 search results - page 7 / 54 » Computational soundness of observational equivalence |
EUROCRYPT
2007
Springer
14 years 2 months ago
2007
Springer
We give a complexity-theoretic characterization of the class of problems in NP having zero-knowledge argument systems. This characterization is symmetric in its treatment of the ze...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
SignalPlay is a sensor-based interactive sound environment in which familiar objects encourage exploration and discovery of sound interfaces through the process of play. Embedded ...
ICCSA
2003
Springer
14 years 1 months ago
2003
Springer
A problem of eliminating the unwanted time-harmonic noise on a predetermined region of interest is solved by active means, i.e., by introducing the additional sources of sound, cal...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
Spherical microphone arrays offer a number of attractive properties such as direction-independent acoustic behavior and ability to reconstruct the sound eld in the vicinity of the...
ACMDIS
2010
ACM
13 years 8 months ago
2010
ACM
In this study we attempt to quantify the popularity of mobile music device utilization. We present an observational method to study music interaction in the wild and assess the re...