Sciweavers

3779 search results - page 265 / 756
» Linear Consistency Testing
Sort
View
DLOG
2011
14 years 10 months ago
Bidirectional Reachability-Based Modules
We introduce an algorithm for MinA extraction in EL based on bidirectional reachability. We obtain a significant reduction in the size of modules extracted at almost no additional...
Riku Nortje, Arina Britz, Thomas Andreas Meyer
ICPR
2008
IEEE
16 years 7 months ago
Hand motion expertise analysis using dynamic hierarchical activity modeling and isomap
Several domains such as sports, surgery, dance etc. are characterized by a significant influence of expertise of the performer on the motion pattern and style. The retrieval of ex...
Kanav Kahol, Mithra Vankipuram
COMPSAC
2009
IEEE
16 years 1 months ago
Software Input Space Modeling with Constraints among Parameters
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poor...
GLOBECOM
2007
IEEE
16 years 28 days ago
An Optimal Strategy for Cooperative Spectrum Sensing in Cognitive Radio Networks
— Spectrum sensing is a key enabling functionality in cognitive radio (CR) networks, where the CRs act as secondary users that opportunistically access free frequency bands. Due ...
Zhi Quan, Shuguang Cui, Ali H. Sayed
ISMIR
2005
Springer
155views Music» more  ISMIR 2005»
16 years 3 days ago
MATCH: A Music Alignment Tool Chest
We present MATCH, a toolkit for aligning audio recordings of different renditions of the same piece of music, based on an efficient implementation of a dynamic time warping algor...
Simon Dixon, Gerhard Widmer