Let {Xi},i = l, • • • , be a sequence of independent and identically distributed random variables with density function f(x). We shall assume throughout that EXi=p>0. Let {Sn}, n = l, • • • , be the sequence of cumulative sums Sn= 23"-1 -^«'Let H(x) = 23»= i P(Sn ^x) and h(x)=H'(x). Since H(x) is nondecreasing, h(x) is defined for almost all x. Let A be any Borel set of positive real numbers an...

We wish to navigate across complicated three-dimensional structures. We describe a robot that can propel itself on a web of surfaces oriented around arbitrary directions in three-space. This robot is an inchworm-like robot with a simple, modular, and exi-ble design. We present control algorithms for the task-level skills that allow the robot to walk vertically, horizontally , and inverted, and ...

We investigate the characteristics of constant-amplitude input shapers for robust time-optimal maneuvers of exi-ble structures. Trends in the timing of the shaper impulses are shown as a function of the system damping constant and move distance. The insensitivity to modeling errors, time-optimality, amount of vibration caused during maneuvers, and high frequency excitation of these shapers are ...

From the viewpoint of multilingual generation, the common underlying knowledge base should be kept clear of language-speciic concepts. This goal presupposes that lexical items of various languages cannot map one-to-one onto concepts all the time. We propose a more exi-ble way of attaching lexical items to conngurations of concepts and roles, and a lexical option nder that determines the set of ...

This paper is an introduction to Lambdix, a lazy Lisp interpreter implemented at the Research Laboratory of the University of Paris XI (Laboratoire de Recherche en Informatique, Orsay). Lambdix was devised in the course of an investigation into the relationship between the semantics of programming languages and their implementation; it was used to demonstrate that in the Lisp domain, semantic c...

We consider the problem of memory checking, where a user wants to maintain a large database on a remote server but has only limited local storage. The user wants to use the small (but trusted and secret) local storage to detect faults in the large (but public and untrusted) remote storage. A memory checker receives from the user store and retrieve operations to the large database. The checker m...