1817 search results - page 9 / 364 » Forcing and Type Theory |
ENTCS
2006
13 years 7 months ago
2006
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...
ECOOP
2003
Springer
14 years 18 days ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
TROB
2008
13 years 7 months ago
2008
-- This paper presents the theoretical analysis and the experimental validation of the force sensing capabilities of continuum robots. These robots employ super-elastic NiTi backbo...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— Stability problems associated with haptics and robot control with obstacle avoidance are analyzed. Obstacle avoidance algorithms are revised to accomplish stable redesign using...
ICRA
1999
IEEE
13 years 11 months ago
1999
IEEE
Abstract: This paper presents a novel design of a Jiegged "spider" robot capable of moving in a wide range of two-dimensional tunnels. The spider moves in a quasistatic m...