1101 search results - page 137 / 221 » Forcing in proof theory |
146
Voted
TROB
2010
14 years 7 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...
207
click to vote
POPL
2004
ACM
16 years 29 days 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...
103
Voted
ICFP
2008
ACM
16 years 18 days 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...
97
Voted
WOSP
2010
ACM
15 years 7 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...
90
Voted
IROS
2009
IEEE
15 years 7 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...