Sciweavers

1338 search results - page 107 / 268
» Consistent Code Generation from UML Models
Sort
View
IROS
2009
IEEE
116views Robotics» more  IROS 2009»
15 years 9 months ago
Stable whole-body motion generation for humanoid robots to imitate human motions
—This work presents a methodology to generate dynamically stable whole-body motions for a humanoid robot, which are converted from human motion capture data. The methodology cons...
Seungsu Kim, ChangHwan Kim, Bum-Jae You, Sangrok O...
ACL
2008
15 years 4 months ago
Integrating Graph-Based and Transition-Based Dependency Parsers
Previous studies of data-driven dependency parsing have shown that the distribution of parsing errors are correlated with theoretical properties of the models used for learning an...
Joakim Nivre, Ryan T. McDonald
COMPSAC
2003
IEEE
15 years 8 months ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters
DATE
2006
IEEE
82views Hardware» more  DATE 2006»
15 years 9 months ago
Dynamic code overlay of SDF-modeled programs on low-end embedded systems
In this paper we propose a dynamic code overlay technique of synchronous data-flow (SDF) –modeled program for low-end embedded systems which lack MMUsupport. With this technique...
Hae-woo Park, Kyoungjoo Oh, Soyoung Park, Myoung-m...
DAC
1999
ACM
16 years 4 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno