4098 search results - page 221 / 820 » Sound mobility models |
138
click to vote
VMCAI
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
165
click to vote
MOBIHOC
2008
ACM
16 years 5 months ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...
182
click to vote
TABLEAUX
2009
Springer
16 years 2 days ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
168
click to vote
ISMIR
2000
Springer
15 years 9 months ago
2000
Springer
We examine in some detail Mel Frequency Cepstral Coefficients (MFCCs) - the dominant features used for speech recognition - and investigate their applicability to modeling music. ...
175
click to vote
CGF
2008
15 years 5 months ago
2008
Visual fidelity and interactivity are the main goals in Computer Graphics research, but recently also audio is assuming an important role. Binaural rendering can provide extremely...