Sciweavers

2180 search results - page 335 / 436
» Performance analysis of concurrent systems with early evalua...
Sort
View
ISMIR
2004
Springer
206views Music» more  ISMIR 2004»
15 years 10 months ago
Tempo And Beat Estimation Of Musical Signals
Tempo estimation is fundamental in automatic music processing and in many multimedia applications. This paper presents an automatic tempo tracking system that processes audio reco...
Miguel Alonso, Gaël Richard, Bertrand David
ICALT
2003
IEEE
15 years 10 months ago
Online Self-Assessment as a Learning Method
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...
Daniel Gayo-Avello, Hortensia Fernández-Cue...
CODES
1996
IEEE
15 years 8 months ago
A Model for the Coanalysis of Hardware and Software Architectures
Successful """tiprocessor system design for complex realtime embedded applications requires powerful and comprehensive. yet cost-effective. productive. and maintain...
Fred Rose, Todd Carpenter, Sanjaya Kumar, John Sha...
CLEF
2006
Springer
15 years 8 months ago
Robust Ad-Hoc Retrieval Experiments with French and English at the University of Hildesheim
This paper reports on experiments submitted for the robust task at CLEF 2006 ad intended to provide a baseline for other runs for the robust task. We applied a system previously t...
Thomas Mandl, René Hackl, Christa Womser-Ha...
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 8 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...