780 search results - page 154 / 156 » Compositional Quantitative Reasoning |
AAI
2010
13 years 8 months ago
2010
Distributed Description Logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping, called bridge rules. Bridge rules map concepts of a s...
BMCBI
2008
13 years 8 months ago
2008
Background: Most non-coding RNA families exert their function by means of a conserved, common secondary structure. The Rfam data base contains more than five hundred structurally ...
BMCBI
2008
13 years 8 months ago
2008
Background: Illumina bead-based arrays are becoming increasingly popular due to their high degree of replication and reported high data quality. However, little attention has been...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
CJ
2006
13 years 8 months ago
2006
s the development of an abstract description of what there is in the world in an application-independent form. This paper argues that attempts to support information systems intero...