1699 search results - page 307 / 340 » On the Expressive Power of QLTL |
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...
BMCBI
2010
13 years 11 months ago
2010
Background: High-throughput DNA methylation arrays are likely to accelerate the pace of methylation biomarker discovery for a wide variety of diseases. A potential problem with a ...
BMCBI
2007
13 years 11 months ago
2007
Background: Gene-set analysis evaluates the expression of biological pathways, or a priori defined gene sets, rather than that of individual genes, in association with a binary ph...
BMCBI
2008
13 years 11 months ago
2008
Background: Microarray experimentation requires the application of complex analysis methods as well as the use of non-trivial computer technologies to manage the resultant large d...
CVPR
2001
IEEE
15 years 26 days ago
2001
IEEE
A bugbear of uncalibrated stereo reconstruction is that cameras which deviate from the pinhole model have to be pre-calibrated in order to correct for nonlinear lens distortion. I...