2869 search results - page 355 / 574 » The Inference Problem: A Survey |
196
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
In this paper we describe techniques for the discovery and construction of user profiles. Leveraging from the emergent data web, our system addresses the problem of sparseness of ...
197
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Privacy-preserving data mining has concentrated on obtaining valid results when the input data is private. An extreme example is Secure Multiparty Computation-based methods, where...
195
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
214
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular propertie...
273
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Ontology, an explicit specification of shared conceptualization, has been increasingly used to define formal data semantics and improve data reusability and interoperability in en...