1222 search results - page 177 / 245 » A Bayesian Approach to Model Checking Biological Systems |
162
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Information retrieval systems have to deal with uncertain knowledge and query results should reflect this uncertainty in some manner. However, Semantic Web ontologies are based on...
119
click to vote
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
133
click to vote
FORTE
2004
15 years 5 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
127
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Modelling the time-related behaviour of biological systems is essential for understanding their dynamic responses to perturbations. In metabolic profiling studies, the...
144
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Several data formats have been developed for large scale biological experiments, using a variety of methodologies. Most data formats contain a mechanism for allowing e...