107 search results - page 22 / 22 » Implementing the Meta-Theory of Deductive Systems |
WWW
2010
ACM
14 years 3 months ago
2010
ACM
Semantic Web data exhibits very skewed frequency distributions among terms. Efficient large-scale distributed reasoning methods should maintain load-balance in the face of such hi...
BMCBI
2008
13 years 8 months ago
2008
Background: A logical model of the known metabolic processes in S. cerevisiae was constructed from iFF708, an existing Flux Balance Analysis (FBA) model, and augmented with inform...