Sciweavers

1302 search results - page 235 / 261
» Soundness in the Public-Key Model
Sort
View
CSL
2010
Springer
15 years 27 days ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
ICASSP
2010
IEEE
15 years 35 min ago
Automatic audio tagging using covariate shift adaptation
Automatically annotating or tagging unlabeled audio files has several applications, such as database organization and recommender systems. We are interested in the case where the...
Gordon Wichern, Makoto Yamada, Harvey D. Thornburg...
CSL
2010
Springer
14 years 12 months ago
Monaural speech separation and recognition challenge
Robust speech recognition in everyday conditions requires the solution to a number of challenging problems, not least the ability to handle multiple sound sources. The specific ca...
Martin Cooke, John R. Hershey, Steven J. Rennie
COMPUTING
2006
100views more  COMPUTING 2006»
14 years 12 months ago
Interval Arithmetic with Containment Sets
The idea of containment sets (csets) is due to Walster and Hansen, and the theory is mainly due to the first author. Now that floating point computation with infinities is widely a...
John D. Pryce, George F. Corliss
IJON
2006
71views more  IJON 2006»
14 years 11 months ago
A segmentation algorithm for zebra finch song at the note level
Songbirds have been widely used as a model for studying neuronal circuits that relate to vocal learning and production. An important component of this research relies on quantitat...
Ping Du, Todd W. Troyer