Sciweavers

40 search results - page 3 / 8
» Bolzano a priori knowledge, and the Classical Model of Scien...
Sort
View
ICASSP
2009
IEEE
14 years 21 days ago
A criterion for the enhancement of time-frequency masks in missing data recognition
Despite their effectiveness for robust speech processing, missing data techniques are vulnerable to errors in the classification of the input speech signal’s time-frequency poi...
Daniel Pullella, Roberto Togneri
DSP
2008
13 years 6 months ago
Empirical Bayes linear regression with unknown model order
We study maximum a posteriori probability model order selection for linear regression models, assuming Gaussian distributed noise and coefficient vectors. For the same data model,...
Yngve Selén, Erik G. Larsson
ICIP
2003
IEEE
14 years 7 months ago
A hierarchical statistical modeling approach for the unsupervised 3D reconstruction of the scoliotic spine
In this paper, we propose a new and accurate 3D reconstruction technique for the scoliotic spine from a pair planar and conventional radiographic images (postero-anterior and late...
Said Benameur, Max Mignotte, Stefan Parent, Hubert...
SPIN
2004
Springer
13 years 11 months ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
AAAI
2008
13 years 8 months ago
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions
One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...
Chitta Baral, Juraj Dzifcak, Tran Cao Son