3742 search results - page 710 / 749 » On the Use of Formal Techniques for Validation |
152
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Enhancements in sequencing technology have recently yielded assemblies of large genomes including rat, mouse, human, fruit fly, and zebrafish. The availability of larg...
170
click to vote
PVLDB
2008
15 years 5 months ago
2008
There has been a recent surge in work in probabilistic databases, propelled in large part by the huge increase in noisy data sources -from sensor data, experimental data, data fro...
144
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
A new segmented compressed sampling (CS) method for analog-to-information conversion (AIC) is proposed. An analog signal measured by a number of parallel branches of mixers and int...
171
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Complex networks have been characterised by their specific connectivity patterns (network motifs), but their building blocks can also be identified and described by node-motifs—...
186
click to vote
TASLP
2010
15 years 25 days ago
2010
Music genre classification techniques are typically applied to the data matrix whose columns are the feature vectors extracted from music recordings. In this paper, a feature vecto...