5550 search results - page 251 / 1110 » Different Approaches to Proof Systems |
169
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The inference of a genetic network is a problem in which mutual interactions among genes are deduced using time-series of gene expression patterns. While a number of m...
194
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The automation of many common molecular biology techniques has resulted in the accumulation of vast quantities of experimental data. One of the major challenges now fa...
184
click to vote
COMPGEOM
2009
ACM
15 years 4 months ago
2009
ACM
Computed tomography(CT), especially since the introduction of helical CT, provides excellent visualization of the internal organs of the body. As a result, CT is used routinely in...
137
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
This paper surveys the area of biological and genomic sources integration, which has recently become a major focus of the data integration research field. The challenges that an i...
189
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In programmable embedded systems, the memory subsystem represents a major cost, performance and power bottleneck. To optimize the system for such different goals, the designer wou...