1302 search results - page 27 / 261 » Soundness in the Public-Key Model |
TASLP
2010
15 years 9 days ago
2010
—A computationally efficient algorithm is proposed for modeling and representing time-varying musical sounds. The aim is to encode individual sounds and not the statistical prop...
134
click to vote
TASLP
2008
15 years 1 months ago
2008
Wave digital filters (WDFs) were originally developed for robust discrete-time simulation of analog filters, but recently they have been applied successfully to modeling of physica...
136
click to vote
APLAS
2011
ACM
14 years 1 months ago
2011
ACM
Modern multi-core microprocessors implement weak memory consistency models; programming for these architectures is a challenge. This paper solves a problem open for ten years, and ...
113
click to vote
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
110
click to vote
NIPS
2007
15 years 3 months ago
2007
Natural sounds are structured on many time-scales. A typical segment of speech, for example, contains features that span four orders of magnitude: Sentences (∼1 s); phonemes (...