124 search results - page 14 / 25 » Relational Parametricity and Units of Measure |
WADS
2007
Springer
14 years 2 months ago
2007
Springer
Distance oracles and graph spanners are excerpts of a graph that allow to compute approximate shortest paths. Here, we consider the situation where it is possible to access the ori...
AMCS
2010
13 years 8 months ago
2010
satisfactory network connectivity have dominated this line of research and abstracted away from the mathematical description of the physical processes underlying the observed pheno...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
Being the most broadly used tool for deceit measurement, the polygraph is a limited method as it suffers from human operator subjectivity and the fact that target subjects are awa...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
— The authors present an innovative method for the efficient joint estimation of attitude and position in six degrees of freedom via sensors such as GPS, inertial measurement un...
TASE
2008
IEEE
13 years 8 months ago
2008
IEEE
Applications such as layered manufacturing, or in general, solid free-form fabrication, pose a major challenge on online process control. For these parts to be functional, it is i...