Sciweavers

11862 search results - page 62 / 2373
» Relative information completeness
Sort
View
IJDMMM
2008
124views more  IJDMMM 2008»
13 years 7 months ago
Completing missing views for multiple sources of web media
: Combining multiple data sources, each with its own features, to achieve optimal inference has received a lot of attention in recent years. In inference from multiple data sources...
Shankara B. Subramanya, Zheshen Wang, Baoxin Li, H...
JMLR
2008
135views more  JMLR 2008»
13 years 7 months ago
Complete Identification Methods for the Causal Hierarchy
We consider a hierarchy of queries about causal relationships in graphical models, where each level in the hierarchy requires more detailed information than the one below. The hie...
Ilya Shpitser, Judea Pearl
IJCAI
2007
13 years 9 months ago
Completing Description Logic Knowledge Bases Using Formal Concept Analysis
Abstract. We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge...
Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulr...
TCS
2008
13 years 7 months ago
Sound and complete computational interpretation of symbolic hashes in the standard model
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
Flavio D. Garcia, Peter van Rossum
JANCL
2007
70views more  JANCL 2007»
13 years 7 months ago
Expressivity and completeness for public update logics via reduction axioms
In this paper, we present several extensions of epistemic logic with update operators modelling public information change. Next to the well-known public announcement operators, we ...
Barteld P. Kooi