623 search results - page 52 / 125 » Relational Parametricity for Control Considered as a Computa... |
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
— Traditionally, robot control has been done typically by “highly precise control algorithms”: the position of each movable body part is accurately determined at any time wit...
INFORMATICALT
1998
14 years 11 months ago
1998
This paper presents a parallel version of a Generalized Conjugate Gradient algorithm proposed by Liu and Story in which the search direction considers the effect of the inexact lin...
LFCS
1994
Springer
15 years 4 months ago
1994
Springer
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— Achieving the Nash equilibria for single objective games is known to be a computationally difficult problem. However there is a special class of equilibria called evolutionary...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...