366 search results - page 70 / 74 » Syntactic Abstraction of B Models to Generate Tests |
ISMIR
2005
Springer
15 years 3 months ago
2005
Springer
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...
100
click to vote
BMCBI
2008
14 years 10 months ago
2008
Background: The analysis of large-scale data sets via clustering techniques is utilized in a number of applications. Biclustering in particular has emerged as an important problem...
97
Voted
BMCBI
2005
14 years 10 months ago
2005
Background: Significant parts of biological knowledge are available only as unstructured text in articles of biomedical journals. By automatically identifying gene and gene produc...
116
click to vote
TSP
2010
14 years 4 months ago
2010
Abstract--Sensor localization using channel energy measurements of distributed sensors has been studied in various scenarios. However, it is usually assumed that the target does no...
HICSS
2010
IEEE
15 years 5 months ago
2010
IEEE
Numerous recent papers have found important relationships between network structure and risks within networks. These results indicate that network structure can dramatically affec...