Sciweavers

2272 search results - page 164 / 455
» Capture Complexity by Partition
Sort
View
IROS
2007
IEEE
152views Robotics» more  IROS 2007»
15 years 9 months ago
Integral control of humanoid balance
— This paper presents a balance controller that allows a humanoid to recover from large disturbances and still maintain an upright posture. Balance is achieved by integral contro...
Benjamin Stephens
SCALESPACE
2007
Springer
15 years 9 months ago
Best Basis Compressed Sensing
This paper proposes an extension of compressed sensing that allows to express the sparsity prior in a dictionary of bases. This enables the use of the random sampling strategy of c...
Gabriel Peyré
FDL
2005
IEEE
15 years 9 months ago
PSL-based online monitoring of digital systems
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
D. Borionne, M. Liu, P. Ostier, Laurent Fesquet
ICECCS
2005
IEEE
73views Hardware» more  ICECCS 2005»
15 years 9 months ago
Integrating Object-Z with Timed Automata
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
Jin Song Dong, Roger Duke, Ping Hao
ISCIS
2004
Springer
15 years 8 months ago
Modeling Dynamic Web Content
Web sites have become increasingly complex and offer a large variety of services and contents. The proliferation of dynamic Web contents opens up new challenging performance and s...
Antonio Barili, Mariacarla Calzarossa, Daniele Tes...