Sciweavers

1746 search results - page 18 / 350
» A Constructive Semantics for ALC
Sort
View
EMNLP
2009
14 years 9 months ago
Reading to Learn: Constructing Features from Semantic Abstracts
Jacob Eisenstein, James Clarke, Dan Goldwasser, Da...
POPL
2007
ACM
16 years 1 days ago
Assessing security threats of looping constructs
There is a clear intuitive connection between the notion of leakage of information in a program and concepts from information theory. This intuition has not been satisfactorily pi...
Pasquale Malacaria
SOFSEM
1998
Springer
15 years 3 months ago
Determining Type of TIL Construction with Verb Valency Analyser
In our paper we discuss an approach to semiautomatic corpus processing aimed at analysing verb valencies in Czech and consecutive determining the type of TIL (Transparent Intension...
Pavel Smrz, Ales Horák
DEXAW
2004
IEEE
166views Database» more  DEXAW 2004»
15 years 3 months ago
Dynamic Semantics for a Controlled Natural Language
In this paper I present a dynamic approach for constructing an unambiguous semantic representation for a text written in a controlled natural language called PENG. The semantic re...
Rolf Schwitter
FINTAL
2006
15 years 3 months ago
A Computational Implementation of Internally Headed Relative Clause Constructions
The so-called Internally Headed Relative Clause (IHRC) construction found in the head-final languages Korean and Japanese has received little attention from computational perspecti...
Jong-Bok Kim, Peter Sells, Jaehyung Yang