12981 search results - page 2283 / 2597 » Model Checking (Abstract) |
135
click to vote
PDCAT
2005
Springer
15 years 10 months ago
2005
Springer
Fault tolerant algorithms are often designed under the t-out-of-n assumption, which is based on the assumption that all processes or components fail independently with equal proba...
145
click to vote
PKDD
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We describe work aimed at cost-constrained knowledge discovery in the biomedical domain. To improve the diagnostic/prognostic models of cancer, new biomarkers are studied...
118
Voted
ROBOCUP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In the Humanoid Leagues balancing during walking and running is still the biggest challenge for most of the teams. We present here some work in which a dynamic walker is ...
156
click to vote
RULEML
2005
Springer
15 years 10 months ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
124
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...