Sciweavers

1546 search results - page 113 / 310
» Context-Aware Computing with Sound
Sort
View
124
Voted
IJON
2008
81views more  IJON 2008»
15 years 5 months ago
Rate versus time representation of high-frequency spectral notches in the peripheral auditory system: A computational modeling s
A computational model of the peripheral auditory system is used to explain the paradoxical observation that discriminating between broadband noise sounds with and without high-fre...
Enrique A. Lopez-Poveda, Ana Alves-Pinto, Alan R. ...
TSMC
2008
113views more  TSMC 2008»
15 years 4 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
KRMED
2004
15 years 6 months ago
Towards a computational paradigm for biomedical structure
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
Stefan Schulz, Udo Hahn
CHI
1993
ACM
15 years 9 months ago
Synthesizing auditory icons
Auditory icons add valuable functionality to computer interfaces, particularly when they are parameterized to convey dimensional information. They are difficult to create and mani...
William W. Gaver
ECCC
2010
98views more  ECCC 2010»
15 years 3 months ago
Verifying Computations with Streaming Interactive Proofs
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
Graham Cormode, Justin Thaler, Ke Yi