Sciweavers

2656 search results - page 259 / 532
» A general purpose animator
Sort
View
ENTCS
2008
79views more  ENTCS 2008»
15 years 6 months ago
Experimenting Formal Proofs of Petri Nets Refinements
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
Christine Choppy, Micaela Mayero, Laure Petrucci
CSDA
2006
98views more  CSDA 2006»
15 years 6 months ago
GS-distributions: A new family of distributions for continuous unimodal variables
The choice of the best-suited statistical distribution for modeling data is not a trivial issue. Unless a sound theoretical background exists for selecting a particular distributi...
J. M. Muiño, Eberhard O. Voit, Albert Sorri...
185
Voted
CORR
2007
Springer
94views Education» more  CORR 2007»
15 years 6 months ago
Pushdown Compression
The pressing need for efficient compression schemes for XML documents has recently been focused on stack computation [6, 9], and in particular calls for a formulation of informati...
Pilar Albert, Elvira Mayordomo, Philippe Moser, Sy...
KES
2006
Springer
15 years 6 months ago
The Performance of LVQ Based Automatic Relevance Determination Applied to Spontaneous Biosignals
The issue of Automatic Relevance Determination (ARD) has attracted attention over the last decade for the sake of efficiency and accuracy of classifiers, and also to extract knowle...
Martin Golz, David Sommer
SPE
2008
108views more  SPE 2008»
15 years 6 months ago
Effective asymmetric XML compression
The innate verbosity of the Extensible Markup Language remains one of its main weaknesses, especially when large XML documents are concerned. This problem can be solved with the a...
Przemyslaw Skibinski, Szymon Grabowski, Jakub Swac...