We describe the implementation of a hidden Markov model state decoding system, a component for a wordspotting speech recognition system. The key specification for this state decod...
We have constructed a synthetic in silico model for representing the dynamics of leukocyte rolling, activation, and adhesion on substrate-coated flow chambers. Software components...
at their abstractions are similar to data types and operations supplied by conventional processors. A core principle of BCPL is its memory model: an The Challenges of Synthesizing ...
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
This paper presents a fast and robust algorithm for extracting significant places from a set of raw GPS data points. Determining such places provides valuable context information ...
Gabriel Agamennoni, Juan Nieto, Eduardo Mario Nebo...