4341 search results - page 43 / 869 » Quantitative Model checking |
ECAI
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Abstract-- In this paper we develop instanton method introduced in [1], [2], [3] to analyze quantitatively performance of Low-Density-Parity-Check (LDPC) codes decoded iteratively ...
AUIC
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we propose that a metaphor can be used to represent domains that are not easily quantifiable. The metaphor then can be used as an interface to communicate informatio...
CSCWD
2006
Springer
14 years 17 days ago
2006
Springer
In this paper we propose an analytical approach based on models of human performance to evaluate workspace collaboration. Our results indicate that the approach: 1) facilitates th...
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...