6530 search results - page 952 / 1306 » Application Integration |
151
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
159
click to vote
AGIS
2008
15 years 5 months ago
2008
Data conversion from raster to vector (R2V) is a key function in Geographic Information Systems (GIS) and remote sensing (RS) image processing for integrating GIS and RS data. The...
178
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Modern high throughput experimental techniques such as DNA microarrays often result in large lists of genes. Computational biology tools such as clustering are then us...
168
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Advances in sequencing and genotyping technologies are leading to the widespread availability of multi-species variation data, dense genotype data and large-scale rese...
164
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: The omics fields promise to revolutionize our understanding of biology and biomedicine. However, their potential is compromised by the challenge to analyze the huge da...