Sciweavers

673 search results - page 18 / 135
» Deep Lexical Semantics
Sort
View
TPHOL
2005
IEEE
15 years 7 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 3 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
14 years 11 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 7 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 7 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