Sciweavers

1302 search results - page 33 / 261
» Soundness in the Public-Key Model
Sort
View
ICASSP
2010
IEEE
15 years 2 months ago
Detecting local semantic concepts in environmental sounds using Markov model based clustering
Detecting the time of occurrence of an acoustic event (for instance, a cheer) embedded in a longer soundtrack is useful and important for applications such as search and retrieval...
Keansub Lee, Daniel P. W. Ellis, Alexander C. Loui
DPD
2010
105views more  DPD 2010»
15 years 2 months ago
Beyond soundness: on the verification of semantic business process models
Ingo Weber, Jörg Hoffmann, Jan Mendling