Sciweavers

1817 search results - page 1 / 364
» Forcing and Type Theory
Sort
View
CSL
2009
Springer
13 years 11 months ago
Forcing and Type Theory
Thierry Coquand
TOH
2010
65views more  TOH 2010»
13 years 3 months ago
Finger-Shaped GelForce: Sensor for Measuring Surface Traction Fields for Robotic Hand
—It is believed that the use of haptic sensors to measure the magnitude, direction, and distribution of a force will enable a robotic hand to perform dexterous operations. Theref...
Katsunari Sato, Kazuto Kamiyama, Naoki Kawakami, S...
IROS
2008
IEEE
130views Robotics» more  IROS 2008»
13 years 11 months ago
Measurement of force vector field of robotic finger using vision-based haptic sensor
—It is expected that the use of haptic sensors to measure the magnitude, direction, and distribution of a force will enable a robotic hand to perform dexterous manipulations. The...
Katsunari Sato, Kazuto Kamiyama, Hideaki Nii, Naok...
IJRR
2010
112views more  IJRR 2010»
13 years 3 months ago
On the Passive Force Closure Set of Planar Grasps and Fixtures
This paper considers grasps and fixtures whose contacts react according to force-displacement laws consistent with friction constrains at the contacts. The passive force closure s...
Amir Shapiro, Elon Rimon, Shraga Shoval
FP
1995
110views Formal Methods» more  FP 1995»
13 years 8 months ago
Using Types to Parse Natural Language
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...
Mark P. Jones, Paul Hudak, Sebastian Shaumyan