Sciweavers

1162 search results - page 9 / 233
» Monotonic Semantic Interpretation
Sort
View
79
Voted
CSL
2005
Springer
15 years 3 months ago
Light Functional Interpretation
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
Mircea-Dan Hernest
87
Voted
LREC
2010
220views Education» more  LREC 2010»
14 years 11 months ago
An Unsupervised Approach for Semantic Relation Interpretation
In this work we propose a hybrid unsupervised approach for semantic relation extraction from Italian and English texts. The system takes as input pairs of "distributionally s...
Emiliano Giovannetti
89
Voted
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
15 years 2 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba
77
Voted
ESWS
2008
Springer
15 years 1 days ago
Assisting Pictogram Selection with Semantic Interpretation
Participants at both end of the communication channel must share common pictogram interpretation to communicate. However, because pictogram interpretation can be ambiguous, pictogr...
Heeryon Cho, Toru Ishida, Toshiyuki Takasaki, Sato...
EACL
1989
ACL Anthology
14 years 11 months ago
An Algorithm For Generation In Unification Categorial Grammar
We present an algorithm for the generation of sentences from the semantic representations of Unification Categorial Grammar. We discuss a variant of Shieber's semantic monoto...
Jonathan Calder, Mike Reape, Henk Zeevat