4814 search results - page 686 / 963 » Combining abstract interpreters |
117
click to vote
RECOMB
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Preliminary to most comparative genomics studies is the annotation of chromosomes as ordered sequences of genes. Unfortunately, different genetic mapping techniques usual...
105
Voted
RECOMB
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Current approaches for identification and detection of transcription factor binding sites rely on an extensive set of known target genes. Here we describe a novel structu...
100
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...
191
Voted
VLDB
2001
ACM
16 years 1 months ago
2001
ACM
Abstract In this paper we present a mechanism for approximately translating Boolean query constraints across heterogeneous information sources. Achieving the best translation is ch...
183
Voted
VLDB
2009
ACM
16 years 1 months ago
2009
ACM
Abstract The top-k dominating query returns k data objects which dominate the highest number of objects in a dataset. This query is an important tool for decision support since it ...