Sciweavers

1830 search results - page 49 / 366
» Centering in Dynamic Semantics
Sort
View
IROS
2008
IEEE
121views Robotics» more  IROS 2008»
15 years 5 months ago
Parametric excitation of a biped robot as an inverted pendulum
— For stable gait generation on the level floor, restoring mechanical energy lost by heel-strike collision at the ground is necessary. Parametric excitation principle is one of ...
Toyoyuki Honjo, Zhi Wei Luo, Akinori Nagano
HICSS
2005
IEEE
145views Biometrics» more  HICSS 2005»
15 years 4 months ago
Semantic Web Fred - Automated Goal Resolution on the Semantic Web
Semantic Web Fred, SWF for short, is a contextindependent, goal-driven system for automated execution of tasks that are delegated to electronic representatives along with dynamic ...
Michael Stollberg, Dumitru Roman, Ioan Toma, Uwe K...
UML
2000
Springer
15 years 2 months ago
Extending OCL to include Actions
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
Anneke Kleppe, Jos Warmer
ATVA
2006
Springer
158views Hardware» more  ATVA 2006»
15 years 2 months ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
MACE
2009
Springer
278views Communications» more  MACE 2009»
15 years 5 months ago
Achieving High-Level Directives Using Strategy-Trees
Abstract. A strategy-tree provides a systematic approach to the evaluation of the effectiveness of deployed policy sets and a mechanism to dynamically alter policy sets (i.e., alt...
Bradley Simmons, Hanan Lutfiyya