124 search results - page 5 / 25 » Relational Parametricity and Units of Measure |
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
— A shell is a body enclosed between two closely spaced and curved surfaces. Classical theory of shells [38], [33], [16] assumes a parametrization along the lines of principal cu...
ICANNGA
2011
Springer
12 years 7 months ago
2011
Springer
ECU (Electric Circuit Unit) is a type of embedded system that is used in automobiles to perform different functions. The synthesis process of ECU requires that the hardware should...
MICCAI
2008
Springer
14 years 8 months ago
2008
Springer
We present a slicing-based coherence measure for clusters of DTI integral curves. For a given cluster, we probe samples from the cluster by slicing it with a plane at regularly spa...
ICML
2006
IEEE
14 years 8 months ago
2006
IEEE
We present a Bayesian search algorithm for learning the structure of latent variable models of continuous variables. We stress the importance of applying search operators designed...
TMA
2010
Springer
13 years 5 months ago
2010
Springer
One-way packet delay is an important network performance metric. Recently, a new data structure called Lossy Difference Aggregator (LDA) has been proposed to estimate this metric m...