Sciweavers

2043 search results - page 194 / 409
» Reasoning About Security Models
Sort
View
LICS
2002
IEEE
15 years 11 months ago
The Powerdomain of Indexed Valuations
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
Daniele Varacca
EWCBR
1998
Springer
15 years 10 months ago
Similarity Measures for Object-Oriented Case Representations
Object-oriented case representations require approaches for similarity assessment that allow to compare two differently structured objects, in particular, objects belonging to diff...
Ralph Bergmann, Armin Stahl
150
Voted
MM
2006
ACM
119views Multimedia» more  MM 2006»
16 years 3 days ago
Modelling dependency in multimedia streams
Expressing and analysing data dependency in multimedia streams is promising, since content-aware policies at a transport level would benefit from such services. In this paper we ...
Alexander Eichhorn
193
Voted
IEEEVAST
2010
15 years 1 months ago
Geo-historical context support for information foraging and sensemaking: Conceptual model, implementation, and assessment
Information foraging and sensemaking with heterogeneous information are context-dependent activities. Thus visual analytics tools to support these activities must incorporate cont...
Brian M. Tomaszewski, Alan M. MacEachren
LFCS
2009
Springer
16 years 21 days ago
Temporalization of Probabilistic Propositional Logic
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
Pedro Baltazar, Paulo Mateus