1792 search results - page 97 / 359 » e-Participation and Decision Analysis |
88
Voted
ENTCS
2002
14 years 11 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
103
click to vote
SPIN
2010
Springer
14 years 9 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 ...
101
click to vote
FOIKS
2010
Springer
14 years 9 months ago
2010
Springer
This paper holds on the application of two classification methods based on formal concept analysis (FCA) to interval data. The first method uses a similarity between objects while ...
ICPR
2010
IEEE
14 years 9 months ago
2010
IEEE
Image anchor templates are used in document image analysis for document classification, data localization, and other tasks. Current tools allow human operators to mark out small s...
ICTAI
2010
IEEE
14 years 9 months ago
2010
IEEE
In this paper, we present an analysis of different approaches relative to the correction of belief functions based on the results given by a confusion matrix. Three different mecha...