Sciweavers

39362 search results - page 332 / 7873
» Global Computing Systems
Sort
View
ICRA
2003
IEEE
122views Robotics» more  ICRA 2003»
15 years 10 months ago
Motion planning for humanoid walking in a layered environment
- Motion planning is one of the key capabilities for autonomous humanoid robots. Previous researches have focused on weight balancing, collision detection, and gait generation. Mos...
Tsai-Yen Li, Pei-Feng Chen, Pei-Zhi Huang
ESEC
1997
Springer
15 years 8 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
VISUAL
2000
Springer
15 years 8 months ago
Shape Description for Content-Based Image Retrieval
Abstract. The present work is focused on a global image characterization based on a description of the 2D displacements of the different shapes present in the image, which can be e...
Edoardo Ardizzone, Antonio Chella, Roberto Pirrone
ISORC
2000
IEEE
15 years 9 months ago
Hybrid Sequence Charts
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
Radu Grosu, Ingolf Krüger, Thomas Stauner
GRID
2006
Springer
15 years 4 months ago
Cacheable Decentralized Groups for Grid Resource Access Control
Abstract-- Sharing data among collaborators in widely distributed systems remains a challenge due to limitations with existing methods for defining groups across administrative dom...
Jeffrey Hemmes, Douglas Thain