190 search results - page 7 / 38 » Dynamic Control Operators in Type Theory |
ABIALS
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. We present a model of motor learning based on a combination of Operational Space Control and Optimal Control. Anticipatory processes are used both in the learning of the ...
ICFP
2007
ACM
14 years 6 months ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
ICRA
2005
IEEE
14 years 9 days ago
2005
IEEE
Abstract— We propose a control framework for the bilateral teleoperation between a single master robot and multiple cooperative slave robots with communication-delay in the maste...
BIRTHDAY
2005
Springer
13 years 8 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
APLAS
2009
ACM
14 years 1 months ago
2009
ACM
Ownership types support information hiding by providing object-based encapsulation. However the static restrictions they impose on object accessibility can limit the expressiveness...