1101 search results - page 137 / 221 » Forcing in proof theory |
178
click to vote
TROB
2010
14 years 10 months ago
2010
The robot hand applying force on a deformable object will result in a changing wrench space due to the varying shape and normal of the contact area. Design and analysis of a manipu...
254
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
130
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
131
click to vote
WOSP
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
119
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Direct physical human-robot interaction has become a central part in the research field of robotics today. To use the advantages of the potential for humans and robots...