Robotic and embedded systems have become increasingly pervasive in applicationsranging from space probes and life support systems to robot assistants. In order to act robustly in the physical world, robotic systems must ...

This article presents a comparative analysis of the diachronic evolution of Romance clausal structure from Classical Latin through to the late medieval period, with particular reference to the Verb Second (V2) property. ...

Abstract Background Many practical tasks in biomedicine require accessing specific types of information in scientific literature; e.g. information about the results or conclusions of the study in question. Several schemes ...

Accurate identification of bursting activity is an essential element in the characterization of neuronal network activity. Despite this, no one technique for identifying bursts in spike trains has been widely adopted. ...

With the advent of the Internet came the promise of global information access. In keeping with this promise, Digital Libraries (DLs) began to emerge across the world as a method of providing structured information to their ...

This paper proposes an isolation layer -- a shim -- betweeninter-domain routing and packet forwarding. The job of this layer isto coordinate between Autonomous Systems (AS's) on when and how tomodify the forwarding state ...

We present a constant-factor approximation algorithm for computing anembedding of the shortest path metric of an unweighted graph into atree, that minimizes the multiplicative distortion.

The numerical solution of strain gradient-dependent continuum problems has been hindered by continuity demands on the basis functions. The presence of terms in constitutive models that involve gradients of the strain field ...

The numerical solution of strain gradient-dependent continuum problems has been hindered by continuity demands on the basis functions. The presence of terms in constitutive models which involve gradients of the strain eld ...

We prove correctness of a Byzantine-fault-tolerant replication algorithm for a read/writeatomic memory that supports a dynamic replica set.

Kac’s d dimensional model gives a linear, many particle, binary collision model from which, under suitable conditions, the celebrated Boltzmann equation, in its spatially homogeneous form, arise as a mean field limit. The ...

Cybernetic thinking provides a framework to understand the issues in creating and using methods and process models during collaborative designing. It can help understand what takes place while the creation and use is ...

In this work, we present a method to extract features from heart sound signals in order to enhance segmentation performance. The approach is data-driven, since the way features are extracted from the recorded signals is ...

We present a dynamic data structure that keeps track of an acyclic hypergraph (equivalently, a triangulated graph) and enables verifying that adding a candidate hyperedge (clique) will not break the acyclicity of the ...

The bilateral filter is a nonlinear filter that smoothes a signal while preserving strong edges. It has demonstrated great effectiveness for a variety of problems in computer vision and computer graphics, and fast versions ...

This thesis presents an integrated framework and implementation for Mertz, an expressive robotic creature for exploring the task of face recognition through natural interaction in an incremental and unsupervised fashion. ...

Consider a projective manifold with two distinct polarisations $L_1$ and $L_2$. From this data, Donaldson has defined a natural flow on the space of Kähler metrics in $c_1$($L_1$), called the J-flow. The existence of a ...

We present a formulation of the autoregressive HMM for speech synthesis and compare it to the standard HMM synthesis framework and the trajectory HMM. We give details of how to do efficient parameter estimation and synthesis ...

This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians.

Positron Emission Tomography (PET) is an imaging technique which can be used to investigate chemical changes in human biological processes such as cancer development or neurochemical reactions. Most dynamic PET scans are ...