Sciweavers

5085 search results - page 425 / 1017
» Multidimensional Design by Examples
Sort
View
ICAS
2006
IEEE
128views Robotics» more  ICAS 2006»
16 years 1 months ago
The AML Approach to Modeling Autonomic Systems
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
Radovan Cervenka, Dominic A. P. Greenwood, Ivan Tr...
IROS
2006
IEEE
165views Robotics» more  IROS 2006»
16 years 1 months ago
Learning Relational Navigation Policies
— Navigation is one of the fundamental tasks for a mobile robot. The majority of path planning approaches has been designed to entirely solve the given problem from scratch given...
Alexandru Cocora, Kristian Kersting, Christian Pla...
PPOPP
2006
ACM
16 years 1 months ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...
CCGRID
2005
IEEE
16 years 1 months ago
A high performance configurable transport protocol for grid computing
− Grid computing infrastructures and applications are increasingly diverse, with networks ranging from very high bandwidth optical networks to wireless networks and applications ...
Xinran (Ryan) Wu, Andrew A. Chien, Matti A. Hiltun...
ITRE
2005
IEEE
16 years 1 months ago
Some studies and lessons learned from ad hoc learning
This work proposes concepts, designs, experiences and lessons learned from some studies of ad hoc learning supported by wireless and mobile technologies. The ad hoc learning activi...
Chih-Yung Chang, Yuh-Shyan Chen, Tai-Chien Kao, Ja...