Sciweavers

2200 search results - page 115 / 440
» The Generalized Pignistic Transformation
Sort
View
JMIV
2010
131views more  JMIV 2010»
13 years 7 months ago
An SL(2) Invariant Shape Median
Median averaging is a powerful averaging concept on sets of vector data in finite dimensions. A generalization of the median for shapes in the plane is introduced. The underlying ...
Benjamin Berkels, Gina Linkmann, Martin Rumpf
MA
2010
Springer
143views Communications» more  MA 2010»
13 years 7 months ago
From Archimedean to Liouville copulas
We use a recent characterization of the d-dimensional Archimedean copulas as the survival copulas of d-dimensional simplex distributions (McNeil and Neˇslehov´a (2009)) to const...
Alexander J. McNeil, Johanna Neslehová
LCTRTS
2010
Springer
13 years 7 months ago
Integrating safety analysis into the model-based development toolchain of automotive embedded systems
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
Matthias Biehl, De-Jiu Chen, Martin Törngren
SOFSEM
2010
Springer
13 years 7 months ago
Approximate Structural Consistency
Abstract. We consider documents as words and trees on some alphabet and study how to compare them with some regular schemas on an alphabet . Given an input document I, we decide ...
Michel de Rougemont, Adrien Vieilleribière
PLDI
2011
ACM
13 years 4 days ago
Evaluating value-graph translation validation for LLVM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
Jean-Baptiste Tristan, Paul Govereau, Greg Morrise...