1302 search results - page 28 / 261 » Soundness in the Public-Key Model |
149
click to vote
PRESENCE
2007
15 years 1 months ago
2007
We describe a methodology for Virtual Reality designers to capture and resynthesize the variations in sound made by objects when we interact with them through contact such as touc...
107
click to vote
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
129
click to vote
ISMIR
2005
Springer
15 years 7 months ago
2005
Springer
This paper addresses the problem of identifying musical instruments in polyphonic music. Musical instrument identification (MII) is an improtant task in music information retriev...
107
click to vote
JFP
2006
15 years 1 months ago
2006
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...
121
click to vote
ICASSP
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper proposes a way of modelling the time-varying spectral energy distribution of musical instrument sounds. The model consists of an excitation signal, a body response fil...