Sciweavers

AAAI
1990
14 years 1 months ago
Generalization with Taxonomic Information
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas containing sorted variables. It develops an algorith...
Alan M. Frisch, C. David Page Jr.
ACL
2007
14 years 2 months ago
PageRanking WordNet Synsets: An Application to Opinion Mining
This paper presents an application of PageRank, a random-walk model originally devised for ranking Web search results, to ranking WordNet synsets in terms of how strongly they pos...
Andrea Esuli, Fabrizio Sebastiani
ACL
2008
14 years 2 months ago
Learning Document-Level Semantic Properties from Free-Text Annotations
This paper demonstrates a new method for leveraging unstructured annotations to infer semantic document properties. We consider the domain of product reviews, which are often anno...
S. R. K. Branavan, Harr Chen, Jacob Eisenstein, Re...
CSFW
2004
IEEE
14 years 4 months ago
By Reason and Authority: A System for Authorization of Proof-Carrying Code
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
Nathan Whitehead, Martín Abadi, George C. N...