3281 search results - page 346 / 657 » An Approach to use Executable Models for Testing |
161
Voted
TASLP
2008
15 years 4 months ago
2008
Abstract--In this paper, a new model-based algorithm for optimizing the MPEG-Advanced Audio Coder (AAC) in MS-stereo mode is presented. This algorithm is an extension to stereo sig...
131
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— Trotting and galloping allow a quadruped to rapidly traverse rough terrain. Modeling this motion, which is only dynamically stable, is of importance for legged robot operation ...
127
Voted
ECRTS
1999
IEEE
15 years 9 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
146
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
The autonomic workflow engine enables workflow to be dynamically specified and adapted using Event-Condition-Action rules. A new approach to autonomic execution of workflow process...
133
Voted
WSC
2000
15 years 6 months ago
2000
This paper introduced the application of a more efficient mathematical representation of the kinematics of avatars, or digital human beings, in telecollaborative virtual reality e...