Sciweavers

2527 search results - page 156 / 506
» A UML-Based Approach to System Testing
Sort
View
139
Voted
ISMIR
2005
Springer
168views Music» more  ISMIR 2005»
15 years 9 months ago
A Novel HMM Approach to Melody Spotting in Raw Audio Recordings
This paper presents a melody spotting system based on Variable Duration Hidden Markov Models (VDHMM’s), capable of locating monophonic melodies in a database of raw audio record...
Aggelos Pikrakis, Sergios Theodoridis
ECIS
2000
15 years 5 months ago
Metadata-Based Integration of Qualitative and Quantitative Information Resources Approaching Knowledge Management
This paper presents a concept for the integration of quantitative and qualitative information sources with their accompanying management support functionalities from navigation and...
Bodo Rieger, Anja Kleber, Eitel von Maur
GROUP
2010
ACM
15 years 2 months ago
Design, implementation, and evaluation of an approach for determining when programmers are having difficulty
Previous research has motivated the idea of automatically determining when programmers are having difficulty, provided an initial algorithm (unimplemented in an actual system), an...
Jason Carter, Prasun Dewan
FDL
2007
IEEE
15 years 10 months ago
Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...
Daniel Große, Hernan Peraza, Wolfgang Klinga...
COCO
2003
Springer
102views Algorithms» more  COCO 2003»
15 years 9 months ago
Memoization and DPLL: Formula Caching Proof Systems
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
Paul Beame, Russell Impagliazzo, Toniann Pitassi, ...