3897 search results - page 630 / 780 » complexity 2010 |
166
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Chromatin immunoprecipitation followed by microarray hybridization (ChIP-chip) is used to study protein-DNA interactions and histone modifications on a genome-scale. T...
168
Voted
BMCBI
2010
15 years 6 months ago
2010
Background: With the rapidly falling cost and availability of high throughput sequencing and microarray technologies, the bottleneck for effectively using genomic analysis in the ...
128
click to vote
ICDE
2010
IEEE
16 years 5 months ago
2010
IEEE
Abstract-- We consider the Top-k Approximate Subtree Matching (TASM) problem: finding the k best matches of a small query tree, e.g., a DBLP article with 15 nodes, in a large docum...
186
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
177
click to vote
ICDT
2010
ACM
16 years 3 months ago
2010
ACM
The work reported here lays the foundations of data exchange in the presence of probabilistic data. This requires rethinking the very basic concepts of traditional data exchange, ...