4770 search results - page 21 / 954 » Flexible Type Analysis |
SMA
2008
ACM
13 years 7 months ago
2008
ACM
We present a generic framework on a set of surfaces S in
IJON
2007
13 years 7 months ago
2007
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— Tendon driven mechanisms have been considered in robotic design for several decades. They provide lightweight end effectors with high dynamics. Using remote actuators it is pos...
ICFP
1999
ACM
13 years 12 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
PVLDB
2008
13 years 7 months ago
2008
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...