Sciweavers

980 search results - page 152 / 196
» A new robust relevance model in the language model framework
Sort
View
BMCBI
2008
93views more  BMCBI 2008»
13 years 7 months ago
Using iterative cluster merging with improved gap statistics to perform online phenotype discovery in the context of high-throug
Background: The recent emergence of high-throughput automated image acquisition technologies has forever changed how cell biologists collect and analyze data. Historically, the in...
Zheng Yin, Xiaobo Zhou, Chris Bakal, Fuhai Li, You...
HPCS
2006
IEEE
14 years 1 months ago
Grid-Enabling the Global Geodynamics Project: Automatic RDF Extraction from the ESML Data Description and Representation via GRD
An eXtensible Markup Language (XML) based data model for the Global Geodynamics Project (GGP) has been previously developed. Mindful of the need to incorporate metadata into the d...
L. Ian Lumb, Keith D. Aldridge
ICFP
2006
ACM
14 years 7 months ago
Programming monads operationally with Unimo
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
Chuan-Kai Lin
POPL
2010
ACM
13 years 7 months ago
Nested interpolants
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
Matthias Heizmann, Jochen Hoenicke, Andreas Podels...
BMCBI
2008
226views more  BMCBI 2008»
13 years 7 months ago
ProteoLens: a visual analytic tool for multi-scale database-driven biological network data mining
Background: New systems biology studies require researchers to understand how interplay among myriads of biomolecular entities is orchestrated in order to achieve high-level cellu...
Tianxiao Huan, Andrey Y. Sivachenko, Scott H. Harr...