Sciweavers

5634 search results - page 456 / 1127
» About Abstract Classes
Sort
View
IROS
2006
IEEE
100views Robotics» more  IROS 2006»
16 years 25 days ago
Gait Generation for Passive Running via Iterative Learning Control
Abstract— This paper proposes a novel framework to generate optimal passive gait trajectories for a planar one-legged hopping robot via iterative learning control. The proposed m...
Satoshi Satoh, Kenji Fujimoto, Sang-Ho Hyon
LICS
2006
IEEE
16 years 24 days ago
PSPACE Bounds for Rank-1 Modal Logics
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
Lutz Schröder, Dirk Pattinson
VTC
2006
IEEE
16 years 24 days ago
IQ Space Frequency Time Codes for MIMO-OFDM Systems
Abstract: In this paper, we study concatenated coding for MIMOOFDM systems. The proposed concatenated system achieves full spatial and frequency diversity at much lower complexity ...
Samir Al-Ghadhban, R. Michael Buehrer, Brian D. Wo...
ERLANG
2006
ACM
16 years 23 days ago
Concurrency oriented programming in termite scheme
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
Guillaume Germain
ISSTA
2006
ACM
16 years 23 days ago
Subdomain testing of units and systems with state
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
Dick Hamlet