Sciweavers

514 search results - page 54 / 103
» Graph Based GP Applied to Dynamical Systems Modeling
Sort
View
HICSS
2007
IEEE
132views Biometrics» more  HICSS 2007»
15 years 4 months ago
Complex Interacting Infrastructure Systems
Critical infrastructures have some of the characteristic properties of complex systems. They exhibit infrequent large failures events. These events, though infrequent, often obey ...
Ian Dobson
BIRTHDAY
2005
Springer
15 years 3 months ago
Expander2
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
Peter Padawitz
ICRA
2009
IEEE
136views Robotics» more  ICRA 2009»
14 years 7 months ago
PDAC-based underactuated 3D bipedal walking - Stabilization of PDAC constants and walking direction control -
This paper proposes a three-dimensional biped dynamic walking algorithm based on Passive Dynamic Autonomous Control (PDAC) which is previously proposed. The robot dynamics is model...
Tadayoshi Aoyama, Kosuke Sekiyama, Yasuhisa Hasega...
86
Voted
ISORC
2000
IEEE
15 years 1 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
AVSS
2008
IEEE
15 years 4 months ago
Person Tracking with Audio-Visual Cues Using the Iterative Decoding Framework
Tracking humans in an indoor environment is an essential part of surveillance systems. Vision based and microphone array based trackers have been extensively researched in the pas...
Shankar T. Shivappa, Mohan M. Trivedi, Bhaskar D. ...