4098 search results - page 51 / 820 » Sound mobility models |
159
Voted
FUIN
2010
15 years 26 days ago
2010
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
114
Voted
MSWIM
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we analyze asymptotic delay-throughput performance of mobile ad-hoc networks comprising heterogeneous nodes with restricted mobility. In particular, we consider a s...
134
Voted
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
96
Voted
CGF
2000
15 years 3 months ago
2000
Geometric acoustic modeling systems spatialize sounds according to reverberation paths from a sound source to a receiver to give an auditory impression of a virtual 3D environment...
107
Voted
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
Real world sounds often exhibit non-stationary spectral characteristics such as those produced by a harpsichord or a guitar. The classical Non-negative Matrix Factorization (NMF) ...