Sciweavers

3240 search results - page 6 / 648
» Pre-aggregation with probability distributions
Sort
View
TCS
2002
13 years 7 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
ICCAD
2004
IEEE
145views Hardware» more  ICCAD 2004»
14 years 4 months ago
Asymptotic probability extraction for non-normal distributions of circuit performance
While process variations are becoming more significant with each new IC technology generation, they are often modeled via linear regression models so that the resulting performanc...
Xin Li, Jiayong Le, Padmini Gopalakrishnan, Lawren...
ICMCS
2008
IEEE
141views Multimedia» more  ICMCS 2008»
14 years 2 months ago
Visual focus of attention estimation from head pose posterior probability distributions
We address the problem of recognizing the visual focus of attention (VFOA) of meeting participants from their head pose and contextual cues. The main contribution of the paper is ...
Sileye O. Ba, Jean-Marc Odobez
ISCAS
2005
IEEE
214views Hardware» more  ISCAS 2005»
14 years 1 months ago
Blind separation of statistically independent signals with mixed sub-Gaussian and super-Gaussian probability distributions
— In the context of Independent Component Analysis (ICA), we propose a simple method for online estimation of activation functions in order to blindly separate instantaneous mixt...
Muhammad Tufail, Masahide Abe, Masayuki Kawamata
JMLR
2010
134views more  JMLR 2010»
13 years 2 months ago
Inference of Graphical Causal Models: Representing the Meaningful Information of Probability Distributions
This paper studies the feasibility and interpretation of learning the causal structure from observational data with the principles behind the Kolmogorov Minimal Sufficient Statist...
Jan Lemeire, Kris Steenhaut