Sciweavers

877 search results - page 42 / 176
» Full Abstraction for HOPLA
Sort
View
ICRA
2010
IEEE
96views Robotics» more  ICRA 2010»
13 years 6 months ago
Port-Hamiltonian analysis of a novel robotic finger concept for minimal actuation variable impedance grasping
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...
Martin Wassink, Raffaella Carloni, Stefano Stramig...
LATINCRYPT
2010
13 years 6 months ago
Broadcast Encryption with Multiple Trust Authorities
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...
Kent D. Boklan, Alexander W. Dent, Christopher A. ...
ICRA
2010
IEEE
148views Robotics» more  ICRA 2010»
13 years 5 months ago
An integrated probabilistic model for scan-matching, moving object detection and motion estimation
Abstract-- This paper presents a novel framework for integrating fundamental tasks in robotic navigation through a statistical inference procedure. A probabilistic model that joint...
Joop van de Ven, Fabio Ramos, Gian Diego Tipaldi
DLOG
2009
13 years 5 months ago
On Correspondences between Probabilistic First-Order and Description Logics
Abstract This paper analyzes the probabilistic description logic PSHIQ by looking at it as a fragment of probabilistic first-order logic with semantics based on possible worlds. We...
Pavel Klinov, Bijan Parsia, Ulrike Sattler
ENASE
2009
88views Hardware» more  ENASE 2009»
13 years 5 months ago
FOCAS: An Enginering Environment for Service-Based Applications
Service composition is an important topic, but so far addressed from a technical and low level perspective. The issue is not (too much) the orchestration formalism, but rather the ...
Gabriel Pedraza, Idrissa A. Dieng, Jacky Estublier