Sciweavers

5246 search results - page 199 / 1050
» Sanitization models and their limitations
Sort
View
TSE
2011
214views more  TSE 2011»
14 years 6 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
ICML
2009
IEEE
16 years 20 days ago
Exploiting sparse Markov and covariance structure in multiresolution models
We consider Gaussian multiresolution (MR) models in which coarser, hidden variables serve to capture statistical dependencies among the finest scale variables. Tree-structured MR ...
Myung Jin Choi, Venkat Chandrasekaran, Alan S. Wil...
ICSE
2008
IEEE-ACM
16 years 20 days ago
Tool support for the navigation in graphical models
Graphical models are omnipresent in the software engineering field, but most current graphical modeling languages do not scale with the increasing size and complexity of today...
Tobias Reinhard, Silvio Meier, Reinhard Stoiber, C...
ICIAP
2001
Springer
16 years 1 hour ago
A Probabilistic Model for the Human Skin Color
We present a multivariate statistical model to represent the human skin color. In our approach, there are no limitations regarding if the person is white or black, once the model ...
Tibério S. Caetano, Dante Augusto Couto Bar...
ICASSP
2009
IEEE
15 years 6 months ago
Probablistic modelling of F0 in unvoiced regions in HMM based speech synthesis
HMM based synthesis has attracted great interest due to its compact and flexible modelling of spectral and prosodic parameters. In this approach, short term spectra, fundamental ...
Kai Yu, Tomoki Toda, Milica Gasic, Simon Keizer, F...