Sciweavers

14779 search results - page 143 / 2956
» On Ultrametric Algorithmic Information
Sort
View
ESOP
2010
Springer
15 years 9 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
VLDB
1997
ACM
86views Database» more  VLDB 1997»
15 years 4 months ago
Using Probabilistic Information in Data Integration
The goal of a mediator system is to provide users a uniform interface to the multitude of information sources. To translate user queries, given in a mediated schema, to queries on...
Daniela Florescu, Daphne Koller, Alon Y. Levy
KDD
2007
ACM
376views Data Mining» more  KDD 2007»
16 years 8 days ago
Truth discovery with multiple conflicting information providers on the web
The world-wide web has become the most important information source for most of us. Unfortunately, there is no guarantee for the correctness of information on the web. Moreover, d...
Xiaoxin Yin, Jiawei Han, Philip S. Yu
SP
2009
IEEE
128views Security Privacy» more  SP 2009»
15 years 6 months ago
Quantifying Information Leaks in Outbound Web Traffic
As the Internet grows and network bandwidth continues to increase, administrators are faced with the task of keeping confidential information from leaving their networks. Today’...
Kevin Borders, Atul Prakash
APCCM
2004
15 years 1 months ago
An Adaptive Information Retrieval System Based on Associative Networks
In this paper we present a multilingual information retrieval system that provides access to Tourism information by exploiting the intuitiveness of natural language. In particular...
Helmut Berger, Michael Dittenbach, Dieter Merkl