Sciweavers

1952 search results - page 148 / 391
» Designing for appropriation
Sort
View
IROS
2008
IEEE
177views Robotics» more  IROS 2008»
16 years 24 days ago
3D bipedal robot with tunable leg compliance mechanism for multi-modal locomotion
— It is expected that variation of leg compliance, that is determined not only by joint compliance but by joint angle, contributes to provide multi-modal locomotion such as walki...
Takashi Takuma, Shinji Hayashi, Koh Hosoda
ITRUST
2005
Springer
15 years 12 months ago
Security and Trust in the Italian Legal Digital Signature Framework
Abstract. The early adoption of a national, legal digital signature framework in Italy has brought forth a series of problems and vulnerabilities. In this paper we describe each of...
Stefano Zanero
UML
2001
Springer
15 years 10 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
AUSAI
2006
Springer
15 years 10 months ago
Studies on Motion Control of a Modular Robot Using Cellular Automata
Abstract. In this paper we report preliminary findings of using cellular automata (CA) as an underlying architecture in controlling the motion of a fivelegged brittle star typed ro...
Sunil Pranit Lal, Koji Yamada, Satoshi Endo
ECCC
2007
96views more  ECCC 2007»
15 years 6 months ago
Linear programming bounds for codes via a covering argument
We recover the first linear programming bound of McEliece, Rodemich, Rumsey, and Welch for binary error-correcting codes and designs via a covering argument. It is possible to sh...
Michael Navon, Alex Samorodnitsky