6800 search results - page 277 / 1360 » Testing with Functions as Specifications |
158
click to vote
NLE
2010
15 years 4 months ago
2010
Pyramid annotation makes it possible to evaluate quantitatively and qualitatively the content of machine-generated (or human) summaries. Evaluation methods must prove themselves a...
197
click to vote
CONCURRENCY
2010
15 years 3 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
261
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Genomewide association studies have resulted in a great many genomic regions that are likely to harbor disease genes. Thorough interrogation of these specific regions ...
170
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: In microarray gene expression profiling experiments, differentially expressed genes (DEGs) are detected from among tens of thousands of genes on an array using statist...
173
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...