5084 search results - page 218 / 1017 » Proving Possibility Properties |
175
click to vote
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper provides a way to specify expressive declassification policies, in particular, when, what, and where policies that include conditions under which downgrading is allowed...
147
click to vote
ACTA
2004
15 years 6 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
154
click to vote
IJRR
2002
15 years 6 months ago
2002
We address the motion planning problem (open-loop trajectory design) for manipulating rigid bodies with permanent rolling contact without slipping. This problem is related in part...
179
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Tactile information is valuable in determining properties of objects that are inaccessible from visual perception. In this work, we present a tactile perception strategy that a...
190
click to vote
ICRA
2010
IEEE
15 years 5 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...