Sciweavers

2032 search results - page 303 / 407
» Encodings of the Sequence Constraint
Sort
View
ICCD
2006
IEEE
131views Hardware» more  ICCD 2006»
16 years 3 months ago
Power-Constrained SOC Test Schedules through Utilization of Functional Buses
— In this paper, we are proposing a core-based test methodology that utilizes the functional bus for test stimuli and response transportation. An efficient algorithm for the gen...
Fawnizu Azmadi Hussin, Tomokazu Yoneda, Alex Orail...
IROS
2009
IEEE
159views Robotics» more  IROS 2009»
16 years 28 days ago
Prioritized optimization for task-space control
— We introduce an optimization framework called prioritized optimization control, in which a nested sequence of objectives are optimized so as not to conflict with higher-priori...
Martin de Lasa, Aaron Hertzmann
FGR
2008
IEEE
170views Biometrics» more  FGR 2008»
16 years 22 days ago
Using an adaptive VAR Model for motion prediction in 3D hand tracking
A robust VAR-based (vector autoregressive) model is introduced for motion prediction in 3D hand tracking. This dynamic VAR motion model is learned in an online manner. The kinemat...
Desmond Chik, Jochen Trumpf, Nicol N. Schraudolph
HASE
2008
IEEE
16 years 22 days ago
A Grammar-Based Reverse Engineering Framework for Behavior Verification
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
Chunying Zhao, Kang Zhang
ICASSP
2008
IEEE
16 years 22 days ago
A factorization method in stereo motion for non-rigid objects
In this paper we propose a framework of factorization-based non-rigid shape modeling and tracking in stereo-motion. We construct a measurement matrix with the stereo-motion data c...
Yu Huang, Jilin Tu, Thomas S. Huang