Sciweavers

20066 search results - page 283 / 4014
» T Spaces
Sort
View
IROS
2006
IEEE
135views Robotics» more  IROS 2006»
16 years 23 days ago
On the Capture of Tumbling Satellite by a Space Robot
— This paper deals with problems related to the capture of a tumbling satellite by a space robot. The minimization of the base attitude deviation before and after the contact wit...
Kazuya Yoshida, Dimitar Dimitrov, Hiroki Nakanishi
159
Voted
ISCAS
2005
IEEE
122views Hardware» more  ISCAS 2005»
16 years 9 days ago
Towards a rigorous formulation of the space mapping technique for engineering design
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
Slawomir Koziel, John W. Bandler, Kaj Madsen
SEUS
2005
IEEE
16 years 9 days ago
SLAP: A Location-Aware Software Infrastructure for Smart Space
In this paper, aiming at the deficiencies of Open Agent Architecture (OAA) on accommodating the location-aware computing, we propose an improved software infrastructure for Smart ...
Hongliang Gu, Yuanchun Shi, Guangyou Xu, Weisheng ...
EUC
2005
Springer
16 years 8 days ago
A World Model for Smart Spaces
A world model for ubiquitous computing environments is presented. It can be dynamically organized like a tree based on geographical containment, such as in a user-room-floor-build...
Ichiro Satoh
FC
2005
Springer
134views Cryptology» more  FC 2005»
16 years 8 days ago
Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model
Abstract. A multi-party fair exchange protocol is a cryptographic protocol allowing several parties to exchange commodities in such a way that everyone gives an item away if and on...
Aybek Mukhamedov, Steve Kremer, Eike Ritter