913 search results - page 77 / 183 » Full Abstraction for Linda |
TODAES
2008
13 years 8 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
EUROMED
2010
13 years 7 months ago
2010
Abstract. The “E.Stone” project is based on the survey, documentation investigation and physical, geochemical and petrographic characterisation of the great zoomorphic and phyt...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract— This paper introduces a novel robotic finger concept for variable impedance grasping in unstructured tasks. A brief literature survey reveals the need for minimal comp...
LATINCRYPT
2010
13 years 7 months ago
2010
Abstract. In this paper we extend the notion of hierarchical identitybased encryption with wildcards (WIBE) from the domain of a single Trusted Authority (TA) to a setting with mul...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract-- This paper presents a novel framework for integrating fundamental tasks in robotic navigation through a statistical inference procedure. A probabilistic model that joint...