Sciweavers

132 search results - page 5 / 27
» The Variability Model of The Linux Kernel
Sort
View
ECRTS
2004
IEEE
15 years 3 months ago
A Variable Rate Execution Model
We present a task model for adaptive real-time tasks in which a task's execution rate requirements are allowed to change at any time. The model, variable rate execution (VRE)...
Steve Goddard, Xin Liu
ICASSP
2011
IEEE
14 years 3 months ago
Learning vocal tract variables with multi-task kernels
The problem of acoustic-to-articulatory speech inversion continues to be a challenging research problem which significantly impacts automatic speech recognition robustness and ac...
Hachem Kadri, Emmanuel Duflos, Philippe Preux
ESANN
2007
15 years 1 months ago
Exploring the causal order of binary variables via exponential hierarchies of Markov kernels
Abstract. We propose a new algorithm for estimating the causal structure that underlies the observed dependence among n (n ≥ 4) binary variables X1, . . . , Xn. Our inference pri...
Xiaohai Sun, Dominik Janzing
FASE
2009
Springer
15 years 3 months ago
Enhanced Property Specification and Verification in BLAST
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
Ondrej Sery
NPL
2002
168views more  NPL 2002»
14 years 11 months ago
Reduced Rank Kernel Ridge Regression
Ridge regression is a classical statistical technique that attempts to address the bias-variance trade-off in the design of linear regression models. A reformulation of ridge regr...
Gavin C. Cawley, Nicola L. C. Talbot