Sciweavers

614 search results - page 38 / 123
» A Variable Rate Execution Model
Sort
View
ASE
2005
91views more  ASE 2005»
14 years 9 months ago
Deviation Analysis: A New Use of Model Checking
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Wha...
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 1 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
CSDA
2007
114views more  CSDA 2007»
14 years 9 months ago
Relaxed Lasso
The Lasso is an attractive regularisation method for high dimensional regression. It combines variable selection with an efficient computational procedure. However, the rate of co...
Nicolai Meinshausen
ICASSP
2009
IEEE
15 years 4 months ago
Modelling the prepausal lengthening effect for speech recognition: a dynamic Bayesian network approach
Speech has a property that the speech unit preceding a speech pause tends to lengthen. This work presents the use of a dynamic Bayesian network to model the prepausal lengthening ...
Ning Ma, Chris Bartels, Jeff A. Bilmes, Phil Green
JMLR
2010
132views more  JMLR 2010»
14 years 4 months ago
Learning Gradients: Predictive Models that Infer Geometry and Statistical Dependence
The problems of dimension reduction and inference of statistical dependence are addressed by the modeling framework of learning gradients. The models we propose hold for Euclidean...
Qiang Wu, Justin Guinney, Mauro Maggioni, Sayan Mu...