Sciweavers

1712 search results - page 127 / 343
» Abstract Constraint Data Types
Sort
View
BIOINFORMATICS
2011
14 years 6 months ago
libfbi: a C++ implementation for fast box intersection and application to sparse mass spectrometry data
Abstract. This document is a preprint of the following publication: Bioinformatics (2011) 27(8): 1166-1167. Algorithms for sparse data require fast search and subset selection capa...
Marc Kirchner, Buote Xu, Hanno Steen, Judith A. J....
NDDL
2003
15 years 4 months ago
High-Level Data Races
Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools...
Cyrille Artho, Klaus Havelund, Armin Biere
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 7 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
GI
2010
Springer
15 years 1 months ago
Ontology-based Registration of Entities for Data Integration in Large Biomedical Research Projects
Abstract: Large biomedical projects often include workflows running across institutional borders. In these workflows, data describing biomedical entities, such as patients, bio-m...
Toralf Kirsten, Alexander Kiel
MCS
2004
Springer
15 years 8 months ago
Experiments on Ensembles with Missing and Noisy Data
Abstract. One of the potential advantages of multiple classifier systems is an increased robustness to noise and other imperfections in data. Previous experiments on classificati...
Prem Melville, Nishit Shah, Lilyana Mihalkova, Ray...