Sciweavers

132 search results - page 5 / 27
» The Variability Model of The Linux Kernel
Sort
View
ECRTS
2004
IEEE
13 years 10 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
12 years 10 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
13 years 8 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
13 years 10 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»
13 years 6 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