Sciweavers

16 search results - page 3 / 4
» Extracting Concepts from File Names: A New File Clustering C...
Sort
View
AAAI
2006
13 years 6 months ago
Automatically Labeling the Inputs and Outputs of Web Services
Information integration systems combine data from multiple heterogeneous Web services to answer complex user queries, provided a user has semantically modeled the service first. T...
Kristina Lerman, Anon Plangprasopchok, Craig A. Kn...
BMCBI
2008
154views more  BMCBI 2008»
13 years 5 months ago
Extension of the COG and arCOG databases by amino acid and nucleotide sequences
Background: The current versions of the COG and arCOG databases, both excellent frameworks for studies in comparative and functional genomics, do not contain the nucleotide sequen...
Florian Meereis, Michael Kaufmann
RSCTC
2000
Springer
185views Fuzzy Logic» more  RSCTC 2000»
13 years 9 months ago
A Comparison of Several Approaches to Missing Attribute Values in Data Mining
: In the paper nine different approaches to missing attribute values are presented and compared. Ten input data files were used to investigate the performance of the nine methods t...
Jerzy W. Grzymala-Busse, Ming Hu
BMCBI
2007
120views more  BMCBI 2007»
13 years 5 months ago
Transcript-based redefinition of grouped oligonucleotide probe sets using AceView: High-resolution annotation for microarrays
Background: Extracting biological information from high-density Affymetrix arrays is a multi-step process that begins with the accurate annotation of microarray probes. Shortfalls...
Jun Lu, Joseph C. Lee, Marc L. Salit, Margaret C. ...
ICFP
2009
ACM
14 years 6 months ago
Effective interactive proofs for higher-order imperative programs
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
Adam J. Chlipala, J. Gregory Malecha, Greg Morrise...