1855 search results - page 99 / 371 » Probabilistic Frame-Based Systems |
115
click to vote
HVC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
126
click to vote
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
128
Voted
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
We propose a framework for “probabilistic functional testing.” The success of a test data set generated according to our method guarantees a certain level of confidence into ...
111
Voted
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
106
click to vote
NAACL
2007
15 years 4 months ago
2007
Traditional noun phrase coreference resolution systems represent features only of pairs of noun phrases. In this paper, we propose a machine learning method that enables features ...