Structured prediction tasks pose a fundamental trade-off between the need for model complexity to increase predictive power and the limited computational resources for inference in the exponentially-sized output spaces such models require. We formulate and develop the Structured Prediction Cascade architecture: a sequence of increasingly complex models that progressively filter the space of pos...

Robotic navigation and interaction frequently require that the shape and motion of external objects and events be observed. Many interesting events occur at mixed scales. Subtle localized shape and motion often occurs together with long range movements. One of the chief challenges in recovering these events is to obtain high resolution imagery suitable for resolving small details, while simulta...

Model Transformation (MT) is an important operation in the domain of Model-Driven Engineering (MDE). While MDE continues to be further adopted in the design and development of systems, MT programs are applied to more and more complex configurations of models and relationships between them and grow in complexity. Structured techniques have proven to be helpful in design and development of progra...

This paper highlights a ranging sensor that can be calibrated at stando�s of 1 to 3 feet with a depth of �eld of �1 ft. Tests at a 16" stando� have produced a 0.004 inch standard deviation in height measurement errors. The data density and �eld of view are p r ogrammable. The sensor is positioned r obotically, allowing it to provide accurate, short-range measurements prior to manipulation tasks...

The characteristic property of dynamically structured code is that relations between elements of executable code are established at run-time. The word "structured" underlines that these relations must be in some kind regular. What these relations must and/or may be is a subject for studies. We expect that the use of dynamically structured codes will allow to reduce the complexity of software an...

Recently, there has been an increase in the demand of virtual 3D objects representing real-life objects. A plethora of methods and systems have already been proposed for the acquisition of the geometry of real-life objects ranging from those which employ active sensor technology, passive sensor technology or a combination of various techniques. In this paper we present the development of a 3D s...

We present a novel 3D geometry acquisition technique at high resolution based on structured light reconstruction with a low-cost projector-camera system. Using a 1D mechanical lens-shifter extension in the projector light path, the projected pattern is shifted in fine steps at sub-pixel scale with a granularity of down to 2048 steps per projected pixel, which opens up novel possibilities in dep...

A laser interferometer gravitational wave detector is, in essence, a device for monitoring a classical force (the gravitational wave) that acts on freely moving test masses (the interferometer's suspended mirrors). \Advanced" detectors, expected to operate in the LIGO/VIRGO interferometric network [1] in the middle or later part of the next decade, will be constrained by the standard quantum li...

COMMENTS WELCOME We thank Michael Jacobides, and especially Jackson Nickerson, for helpful comments on earlier versions.

CONTROL STRUCTURES AND THE SEMANTICS OF QUANTIFIERS Steven Cushing Computer ~ Science Department : " St. Anselm College Manchester, New Hampshire, 03102 USA