Sciweavers

2200 search results - page 115 / 440
» The Generalized Pignistic Transformation
Sort
View
JMIV
2010
131views more  JMIV 2010»
14 years 11 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
89
Voted
MA
2010
Springer
143views Communications» more  MA 2010»
14 years 11 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
14 years 10 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
14 years 10 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
14 years 3 months 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...