Sciweavers

657 search results - page 79 / 132
» On the Identification of a Class of Linear Models
Sort
View
ERSHOV
2009
Springer
15 years 4 months ago
Symbolic Bounded Conformance Checking of Model Programs
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
Margus Veanes, Nikolaj Bjørner
CVPR
2000
IEEE
15 years 11 months ago
Impact of Dynamic Model Learning on Classification of Human Motion
The human figure exhibits complex and rich dynamic behavior that is both nonlinear and time-varying. However, most work on tracking and analysis of figure motion has employed eith...
Vladimir Pavlovic, James M. Rehg
CDC
2008
IEEE
103views Control Systems» more  CDC 2008»
15 years 4 months ago
Symbolic models for nonlinear control systems affected by disturbances
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
Giordano Pola, Paulo Tabuada
MA
2010
Springer
132views Communications» more  MA 2010»
14 years 8 months ago
Model selection by sequentially normalized least squares
Model selection by the predictive least squares (PLS) principle has been thoroughly studied in the context of regression model selection and autoregressive (AR) model order estima...
Jorma Rissanen, Teemu Roos, Petri Myllymäki
CORR
2012
Springer
184views Education» more  CORR 2012»
13 years 5 months ago
Noisy-OR Models with Latent Confounding
Given a set of experiments in which varying subsets of observed variables are subject to intervention, we consider the problem of identifiability of causal models exhibiting late...
Antti Hyttinen, Frederick Eberhardt, Patrik O. Hoy...