Sciweavers

877 search results - page 42 / 176
» Full Abstraction for HOPLA
Sort
View
ICRA
2010
IEEE
96views Robotics» more  ICRA 2010»
14 years 10 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
14 years 10 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»
14 years 9 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
14 years 9 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»
14 years 9 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