Sciweavers

649 search results - page 26 / 130
» State estimation of the three-tank system using a multiple m...
Sort
View
FM
2003
Springer
146views Formal Methods» more  FM 2003»
14 years 1 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
ICIC
2005
Springer
14 years 1 months ago
Sequential Stratified Sampling Belief Propagation for Multiple Targets Tracking
Rather than the difficulties of highly non-linear and non-Gaussian observation process and the state distribution in single target tracking, the presence of a large, varying number...
Jianru Xue, Nanning Zheng, Xiaopin Zhong
AMC
2006
84views more  AMC 2006»
13 years 8 months ago
Estimation of parameters in carbon sequestration models from net ecosystem exchange data
The use of net ecosystem exchange (NEE) data to estimate carbon transfer coefficients is investigated in the context of a deterministic compartmental carbon sequestration system. ...
Luther White, Frances White, Yiqi Luo, Tao Xu
CODES
2000
IEEE
14 years 17 days ago
Performance estimation for embedded systems with data and control dependencies
In this paper we present an approach to performance estimation for hard real-time systems. We consider architectures consisting of multiple processors. The scheduling policy is ba...
Paul Pop, Petru Eles, Zebo Peng
ICRA
2010
IEEE
227views Robotics» more  ICRA 2010»
13 years 6 months ago
Efficient multi-view object recognition and full pose estimation
We present an approach for efficiently recognizing all objects in a scene and estimating their full pose from multiple views. Our approach builds upon a state of the art single-vie...
Alvaro Collet, Siddhartha S. Srinivasa