Sciweavers

12 search results - page 2 / 3
» Temporally Robust Software Features for Authorship Attributi...
Sort
View
ISMIR
2004
Springer
160views Music» more  ISMIR 2004»
13 years 9 months ago
Fast labelling of notes in music signals
We present a new system for the estimation of note attributes from a live monophonic music source, within a short time delay and without any previous knowledge of the signal. The ...
Paul Brossier, Juan Pablo Bello, Mark D. Plumbley
SEKE
2010
Springer
13 years 2 months ago
Specification patterns can be formal and still easy
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
Fernando Asteasuain, Víctor A. Braberman
ARCS
2004
Springer
13 years 9 months ago
Finite-State Modeling, Analysis and Testing of System Vulnerabilities
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
Fevzi Belli, Christof J. Budnik, Nimal Nissanke
MIR
2004
ACM
109views Multimedia» more  MIR 2004»
13 years 9 months ago
A web-enabled video indexing system
Video parsing and indexing is an important early stage of contentbased video analysis. In this paper, we present a new web-enabled video indexing system that integrates Synchroniz...
Jian Zhou, Xiao-Ping Zhang
BMCBI
2008
173views more  BMCBI 2008»
13 years 4 months ago
Improved machine learning method for analysis of gas phase chemistry of peptides
Background: Accurate peptide identification is important to high-throughput proteomics analyses that use mass spectrometry. Search programs compare fragmentation spectra (MS/MS) o...
Allison Gehrke, Shaojun Sun, Lukasz A. Kurgan, Nat...