13026 search results - page 395 / 2606 » Probabilistic Relational Models |
151
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
149
click to vote
ENTCS
1998
15 years 4 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
154
click to vote
PVLDB
2010
15 years 3 months ago
2010
Set similarity join has played an important role in many real-world applications such as data cleaning, near duplication detection, data integration, and so on. In these applicati...
186
Voted
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
118
click to vote
JUCS
2002
15 years 4 months ago
2002
: Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial ...