6800 search results - page 320 / 1360 » Testing with Functions as Specifications |
202
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
Among slide-presentation systems, the dominant application offers lly no abstraction capability. Slideshow, an extension of PLT Scheme, represents our effort over the last several...
187
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: The analysis of microarray experiments requires accurate and up-to-date functional annotation of the microarray reporters to optimize the interpretation of the biologi...
202
click to vote
BMCBI
2002
15 years 7 months ago
2002
Background: Total sequence decomposition, using the web-based MASIA tool, identifies areas of conservation in aligned protein sequences. By structurally annotating these motifs, t...
182
click to vote
PVLDB
2010
15 years 5 months ago
2010
Probabilistic databases hold promise of being a viable means for large-scale uncertainty management, increasingly needed in a number of real world applications domains. However, q...
231
click to vote
BMCBI
2011
15 years 2 months ago
2011
Background: With the advent of cost-effective genotyping technologies, genome-wide association studies allow researchers to examine hundreds of thousands of single nucleotide poly...