Sciweavers

673 search results - page 18 / 135
» Deep Lexical Semantics
Sort
View
TPHOL
2005
IEEE
15 years 9 months ago
Verifying a Secure Information Flow Analyzer
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
David A. Naumann
ACL
2003
15 years 4 months ago
Towards Interactive Text Understanding
This position paper argues for an interactive approach to text understanding. The proposed model extends an existing semantics-based text authoring system by using the input text ...
Marc Dymetman, Aurélien Max, Kenji Yamada
ACL
2010
15 years 1 months ago
Computing Weakest Readings
We present an efficient algorithm for computing the weakest readings of semantically ambiguous sentences. A corpus-based evaluation with a large-scale grammar shows that our algor...
Alexander Koller, Stefan Thater
SAC
2005
ACM
15 years 9 months ago
Automatic learning of text-to-concept mappings exploiting WordNet-like lexical networks
A great jump towards the advent of the Semantic Web will take place when a critical mass of web resources is available for use in a semantic way. This goal can be reached by the c...
Dario Bonino, Fulvio Corno, Federico Pescarmona
IJCNLP
2005
Springer
15 years 8 months ago
Semantic Role Tagging for Chinese at the Lexical Level
This paper reports on a study of semantic role tagging in Chinese, in the absence of a parser. We investigated the effect of using only lexical information in statistical training;...
Oi Yee Kwong, Benjamin K. Tsou