Sciweavers

4609 search results - page 339 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
NIPS
2008
15 years 8 months ago
Using Bayesian Dynamical Systems for Motion Template Libraries
Motor primitives or motion templates have become an important concept for both modeling human motor control as well as generating robot behaviors using imitation learning. Recent ...
Silvia Chiappa, Jens Kober, Jan Peters
ICIP
2004
IEEE
16 years 8 months ago
Content and transformation effect matching for automated home video editing
While camcorders have become a commodity home appliance, few watch the recorded videos or share them with friends and relatives due to the difficulty of turning the raw footage in...
Xian-Sheng Hua, HongJiang Zhang
199
Voted
ISCAS
2007
IEEE
128views Hardware» more  ISCAS 2007»
16 years 1 months ago
SAT-based ATPG for Path Delay Faults in Sequential Circuits
Due to the development of high speed circuits beyond the 2-GHz mark, the significance of automatic test pattern generation for Path Delay Faults (PDFs) drastically increased in t...
Stephan Eggersglüß, Görschwin Fey,...
APN
2007
Springer
16 years 27 days ago
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
Kyller Costa Gorgônio, Jordi Cortadella, Fei...
IEEECIT
2005
IEEE
16 years 9 days ago
iCDMdt: Focused the Model Mapping and Performance Optimization in Embedded System Design
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
Jing Luan, Xuan Cheng, Junzhong Gu