753 search results - page 85 / 151 » Completing a (k - 1)-Assignment |
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— Highly underactuated and passively adaptive robotic hands have shown great promise for robust performance in unstructured settings. In order to fully realize this potential, ef...
167
click to vote
AMMA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper, we report on the design of a novel market-based approach for decentralised scheduling across multiple factories. Specifically, because of the limitations ...
CSL
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we consider the problem of materializing the complete finite RDFS closure in a scalable manner; this includes those parts of the RDFS closure that are often ignored...
ASSETS
2009
ACM
15 years 4 months ago
2009
ACM
Providing blind and visually impaired people with the descriptions of key visual elements can greatly improve the accessibility of video, film and television. This project present...