861 search results - page 133 / 173 » A General Framework for Knowledge Compilation |
CCS
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we introduce a framework for secure two-party (S2P) computations, which we call bureaucratic computing, and we demonstrate its efficiency by designing practical S2P...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
The popularity of Wikipedia and other online knowledge bases has recently produced an interest in the machine learning community for the problem of automatic linking. Automatic hy...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
This paper proposes the integration of semantic information drawn from a web application’s domain knowledge into all phases of the web usage mining process (preprocessing, patte...
DIS
2009
Springer
15 years 4 months ago
2009
Springer
Motivated by the need for unification of the domain of data mining and the demand for formalized representation of outcomes of data mining investigations, we address the task of c...