1530 search results - page 39 / 306 » Programmable motion effects |
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— Robotic manipulators on ships and platforms suffer from large inertial forces due to the non-inertial motion of the ship or platform. When operating in high sea state, operatio...
POPL
2003
ACM
14 years 2 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Most researchers conduct wireless networking experiments in their laboratory or similar indoor environments. Such environments are veritable RF jungles, especially when ...
ICFP
2000
ACM
14 years 1 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
PLDI
1996
ACM
14 years 1 months ago
1996
ACM
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...