987 search results - page 48 / 198 » Ludics and Its Applications to Natural Language Semantics |
161
click to vote
CICLING
2001
Springer
15 years 10 months ago
2001
Springer
The availability of semantically tagged corpora is becoming a very important and urgent need for training and evaluation within a large number of applications but also they are th...
191
click to vote
PVLDB
2008
15 years 5 months ago
2008
Access control is the problem of regulating access to secret information based on certain context information. In traditional applications, context information is known exactly, p...
166
click to vote
ACL
2006
15 years 7 months ago
2006
Semantic parsing is the task of mapping natural language sentences to complete formal meaning representations. The performance of semantic parsing can be potentially improved by u...
178
click to vote
COLING
2010
15 years 1 months ago
2010
Research in named entity recognition and mention detection has typically involved a fairly small number of semantic classes, which may not be adequate if semantic class informatio...
154
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...