Sciweavers

4167 search results - page 375 / 834
» Regression model checking
Sort
View
148
Voted
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 9 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
PAKDD
2005
ACM
133views Data Mining» more  PAKDD 2005»
15 years 10 months ago
An Anomaly Detection Method for Spacecraft Using Relevance Vector Learning
This paper proposes a novel anomaly detection system for spacecrafts based on data mining techniques. It constructs a nonlinear probabilistic model w.r.t. behavior of a spacecraft ...
Ryohei Fujimaki, Takehisa Yairi, Kazuo Machida
120
Voted
UAI
2004
15 years 6 months ago
An Extended Cencov-Campbell Characterization of Conditional Information Geometry
We formulate and prove an axiomatic characterization of conditional information geometry, for both the normalized and the nonnormalized cases. This characterization extends the ax...
Guy Lebanon
NIPS
1998
15 years 6 months ago
Maximum Conditional Likelihood via Bound Maximization and the CEM Algorithm
We present the CEM (Conditional Expectation Maximization) algorithm as an extension of the EM (Expectation Maximization) algorithm to conditional density estimation under missing ...
Tony Jebara, Alex Pentland
CSDA
2007
92views more  CSDA 2007»
15 years 5 months ago
On the estimation of the linear relation when the error variances are known
The problem of consistent estimation in measurement error models in a linear relation with not necessarily normally distributed measurement errors is considered. Three possible es...
H. Schneeweiss, H. Shalabh