Sciweavers

1123 search results - page 121 / 225
» On Event Based State Estimation
Sort
View
IROS
2008
IEEE
142views Robotics» more  IROS 2008»
15 years 7 months ago
Scaffolding on-line segmentation of full body human motion patterns
Abstract— This paper develops an approach for on-line segmentation of whole body human motion patterns during human motion observation and learning. A Hidden Markov Model is used...
Dana Kulic, Yoshihiko Nakamura
GLOBECOM
2006
IEEE
15 years 7 months ago
Link Performance Bounds in Homogeneous Optically Switched Ring Networks
— We consider a ring topology with limited or full switching capability as deployed in high bandwidth metro optical networks and develop a model to estimate the probability of bl...
Shujia Gong, Bijan Jabbari
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
15 years 6 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
DCC
2003
IEEE
15 years 6 months ago
Rate-Distortion Bound for Joint Compression and Classification
- Rate-distortion theory is applied to the problem of joint compression and classification. A Lagrangian distortion measure is used to consider both the squared Euclidean error in ...
Yanting Dong, Lawrence Carin
WDAG
2005
Springer
90views Algorithms» more  WDAG 2005»
15 years 6 months ago
Proving Atomicity: An Assertional Approach
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Jos...