649 search results - page 12 / 130 » State estimation of the three-tank system using a multiple m... |
CISS
2011
IEEE
12 years 11 months ago
2011
IEEE
—In this work we address the problem of state estimation in dynamical systems using recent developments in compressive sensing and sparse approximation. We formulate the traditio...
ACSD
2004
IEEE
13 years 12 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
HICSS
2012
IEEE
12 years 3 months ago
2012
IEEE
The concept of interoperability of data and model as presented in this paper is viewed as being very useful for implementing variety of future applications related to power system...
AMDO
2000
Springer
14 years 16 days ago
2000
Springer
This paper presents a method of estimating both 3-D shapes and moving poses of an articulated object from a monocular image sequence. Instead of using direct depth data, prior loo...
ICCV
2007
IEEE
13 years 10 months ago
2007
IEEE
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...