Sciweavers

8337 search results - page 41 / 1668
» Reasoning With Characteristic Models
Sort
View
LPAR
2010
Springer
13 years 7 months ago
PBINT, A Logic for Modelling Search Problems Involving Arithmetic
Shahab Tasharrofi, Eugenia Ternovska
CL
2011
Springer
13 years 3 months ago
A transactional model for automatic exception handling
Bruno Cabral, Paulo Marques
CADE
2004
Springer
14 years 8 months ago
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
Gilles Barthe, Jan Cederquist, Sabrina Tarento
CSL
2010
Springer
13 years 8 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