Sciweavers

8337 search results - page 41 / 1668
» Reasoning With Characteristic Models
Sort
View
LPAR
2010
Springer
15 years 11 days ago
PBINT, A Logic for Modelling Search Problems Involving Arithmetic
Shahab Tasharrofi, Eugenia Ternovska
154
Voted
CL
2011
Springer
14 years 9 months ago
A transactional model for automatic exception handling
Bruno Cabral, Paulo Marques
96
Voted
CADE
2004
Springer
16 years 2 months ago
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
Gilles Barthe, Jan Cederquist, Sabrina Tarento
CSL
2010
Springer
15 years 2 months ago
Speech separation using speaker-adapted eigenvoice speech models
We present a system for model-based source separation for use on single channel speech mixtures where the precise source characteristics are not known a priori. The sources are mo...
Ron J. Weiss, Daniel P. W. Ellis