435 search results - page 80 / 87 » Deriving Filtering Algorithms from Constraint Checkers |
CHARME
1995
Springer
13 years 11 months ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
JCP
2007
13 years 7 months ago
2007
—In this paper, a neural network solution to extract independent components from nonlinearly mixed signals is proposed. Firstly, a structurally constrained mixing model is introd...
TMI
2010
13 years 5 months ago
2010
Abstract—Interpolation is the means by which a continuouslydefined model is fit to discrete data samples. When the data samples are exempt of noise, it seems desirable to build...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- We consider optimal experiment design for parametric prediction error system identification of linear timeinvariant systems in closed loop. The optimisation is performed...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
We present an iterative algorithm for robustly estimating the egomotion and refining and updating a coarse, noisy and partial depth map using a depth based parallax model and brig...