Sciweavers

8689 search results - page 225 / 1738
» Software: hard data
Sort
View
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 1 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
IDA
2006
Springer
15 years 6 months ago
Supporting bi-cluster interpretation in 0/1 data by means of local patterns
Clustering or co-clustering techniques have been proved useful in many application domains. A weakness of these techniques remains the poor support for grouping characterization. ...
Ruggero G. Pensa, Céline Robardet, Jean-Fra...
ICASSP
2011
IEEE
14 years 10 months ago
Acoustic model training for non-audible murmur recognition using transformed normal speech data
In this paper we present a novel approach to acoustic model training for non-audible murmur (NAM) recognition using normal speech data transformed into NAM data. NAM is extremely ...
Denis Babani, Tomoki Toda, Hiroshi Saruwatari, Kiy...
SDM
2011
SIAM
243views Data Mining» more  SDM 2011»
14 years 9 months ago
Data Integration via Constrained Clustering: An Application to Enzyme Clustering
When multiple data sources are available for clustering, an a priori data integration process is usually required. This process may be costly and may not lead to good clusterings,...
Elisa Boari de Lima, Raquel Cardoso de Melo Minard...
ICDE
2008
IEEE
124views Database» more  ICDE 2008»
16 years 8 months ago
Randomized Synopses for Query Assurance on Data Streams
The overwhelming flow of information in many data stream applications forces many companies to outsource to a third-party the deployment of a Data Stream Management System (DSMS) f...
Ke Yi, Feifei Li, Marios Hadjieleftheriou, George ...