63 search results - page 3 / 13 » Performance of Taylor Model Methods for Validated Integratio... |
OOPSLA
2000
Springer
13 years 9 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
BMCBI
2007
13 years 6 months ago
2007
Background: Innovative extensions of (M) ANOVA gain common ground for the analysis of designed metabolomics experiments. ASCA is such a multivariate analysis method; it has succes...
ICCD
2008
IEEE
14 years 3 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
BMCBI
2008
13 years 6 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
ISMIR
2005
Springer
13 years 11 months ago
2005
Springer
In music genre classification the decision time is typically of the order of several seconds, however, most automatic music genre classification systems focus on short time feat...