2861 search results - page 477 / 573 » Modelling Adaptive Systems in ForSyDe |
119
Voted
CHI
2000
ACM
15 years 8 months ago
2000
ACM
We discuss a novel type of interface, the intelligent gazeadded interface, and describe the design and evaluation of a sample gaze-added operating-system interface. Gaze-added int...
126
click to vote
ICRA
1994
IEEE
15 years 8 months ago
1994
IEEE
The Self-Mobile Space Manipulator (SM2) has evolved to adapt to the new pre-integrated I-beam structure of the Space Station Freedom (SSF). In this paper, we first briefly overvie...
137
click to vote
ECAL
2007
Springer
15 years 7 months ago
2007
Springer
odel of Embodiment on Abstract Systems: from Hierarchy to Heterarchy Kohei Nakajima, Soya Shinkai, Takashi Ikegami A Behavior-Based Model of the Hydra, Phylum Cnidaria Malin Aktius...
148
click to vote
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
122
click to vote
CIDR
2007
15 years 5 months ago
2007
Sensor networks are becoming an important part of the IT landscape. Existing systems, however, are limited in two fundamental ways: lack of data independence, and poor integration...