2909 search results - page 67 / 582 » Consistency of the theory of contexts |
167
click to vote
ICASSP
2008
IEEE
16 years 19 days ago
2008
IEEE
Based on the correlation between expression and ontologydriven gene similarity, we incorporate functional annotations into gene expression clustering validation. A probabilistic f...
156
click to vote
ICIP
2008
IEEE
16 years 19 days ago
2008
IEEE
This work presents a new statistical approach to region merging where regions are modeled as arbitrary discrete distributions, directly estimated from the pixel values. Under this...
173
click to vote
IFM
2007
Springer
16 years 10 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
121
click to vote
FLAIRS
2004
15 years 7 months ago
2004
We extend the basic axiomatization of interval convex relations by Allen and Hayes with unbounded intervals. Unbounded intervals include since intervals with a finite beginning po...
156
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Most existing transcriptional databases like Comprehensive Systems-Biology Database (CSB.DB) and Arabidopsis Microarray Database and Analysis Toolbox (GENEVESTIGATOR) ...