Sciweavers

3602 search results - page 135 / 721
» Isn't It About Time
Sort
View
ISMIR
2004
Springer
150views Music» more  ISMIR 2004»
14 years 3 months ago
Methodology and Tools for the evaluation of automatic onset detection algorithms in music
This paper addresses the problem of the performance evaluation of algorithms for the automatic detection of note onsets in music signals. Our experiments show that creating a data...
Laurent Daudet, Gaël Richard, Pierre Leveau
PODC
2003
ACM
14 years 3 months ago
A lattice-theoretic characterization of safety and liveness
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
Panagiotis Manolios, Richard J. Trefler
ASPDAC
2007
ACM
123views Hardware» more  ASPDAC 2007»
14 years 2 months ago
Creating Explicit Communication in SoC Models Using Interactive Re-Coding
Communication exploration has become a critical step during SoC design. Researchers in the CAD community have proposed fast and efficient techniques for comprehensive design space ...
Pramod Chandraiah, Junyu Peng, Rainer Dömer
DDECS
2009
IEEE
149views Hardware» more  DDECS 2009»
14 years 2 months ago
Physical design oriented DRAM Neighborhood Pattern Sensitive Fault testing
Although the Neighborhood Pattern Sensitive Fault (NPSF) model is recognized as a high quality fault model for memory arrays, the excessive test application time cost associated wi...
Yiorgos Sfikas, Yiorgos Tsiatouhas
WSC
2008
14 years 18 days ago
Simulation and visualization of traffic operations in Augmented Reality for improved planning and design of road construction pr
This paper describes research that investigated the application of 3D Augmented Reality (AR) for animating traffic simulation models in real time to support the planning and desig...
Amir H. Behzadan, Vineet R. Kamat