1423 search results - page 99 / 285 » Interpreting distributed ontologies |
SPIN
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
ICML
2004
IEEE
14 years 10 months ago
2004
IEEE
We study the problem of modeling species geographic distributions, a critical problem in conservation biology. We propose the use of maximum-entropy techniques for this problem, s...
ADAPTIVE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Through interaction with others, a person develops multiple perspectives that become the basis for innovation and the construction of new knowledge. This chapter discusse...
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
JASIS
2002
13 years 9 months ago
2002
Fractional frequency distributions of e.g. authors with a certain (fractional) number of papers are very irregular and, therefore, not easy to model or to explain. This paper give...