Sciweavers

476 search results - page 2 / 96
» Information Algebras
Sort
View
CAISE
2004
Springer
13 years 11 months ago
The GMD Data Model and Algebra for Multidimensional Information
In this paper we introduce GMD, an abstract but rich data model for representing multidimensional information, equipped with logicbased semantics and seamlessly integrated with a f...
Enrico Franconi, Anand Kamble
CSFW
2000
IEEE
13 years 10 months ago
Information Flow Analysis in a Discrete-Time Process Algebra
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
Riccardo Focardi, Roberto Gorrieri, Fabio Martinel...
CONCUR
2001
Springer
13 years 10 months ago
Probabilistic Information Flow in a Process Algebra
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
Alessandro Aldini
ACL
2003
13 years 7 months ago
A Ranking Model of Proximal and Structural Text Retrieval Based on Region Algebra
This paper investigates an application of the ranked region algebra to information retrieval from large scale but unannotated documents. We automatically annotated documents with ...
Katsuya Masuda