8228 search results - page 1409 / 1646 » Structural Logical Relations |
97
Voted
CAV
2001
Springer
15 years 5 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
92
Voted
CCS
2001
ACM
15 years 5 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
109
Voted
COCO
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we investigate effective versions of Hausdorff dimension which have been recently introduced by Lutz. We focus on dimension in the class E of sets computable in line...
114
Voted
ECSQARU
2001
Springer
15 years 5 months ago
2001
Springer
New semantics for numerical values given to possibility measures are provided. For epistemic possibilities, the new approach is based on the semantics of the transferable belief m...
107
click to vote
ECSQARU
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Intelligent agents have to be able to merge inputs received from different sources in a coherent and rational way. Recently, several proposals have been made for the merg...