Sciweavers

719 search results - page 60 / 144
» An Inference Model for Semantic Entailment in Natural Langua...
Sort
View
MODELS
2009
Springer
14 years 2 months ago
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009)
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
Stefan Van Baelen, Thomas Weigert, Ileana Ober, Hu...
IFIP
2004
Springer
14 years 1 months ago
New-HOPLA: A Higher-order Process Language with Name Generation
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
Glynn Winskel, Francesco Zappa Nardelli
ACL
2012
11 years 10 months ago
Learning to "Read Between the Lines" using Bayesian Logic Programs
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires â€...
Sindhu Raghavan, Raymond J. Mooney, Hyeonseo Ku
LFP
1990
102views more  LFP 1990»
13 years 9 months ago
A Semantic Basis for Quest
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...
Luca Cardelli, Giuseppe Longo
EMNLP
2010
13 years 5 months ago
SRL-Based Verb Selection for ESL
In this paper we develop an approach to tackle the problem of verb selection for learners of English as a second language (ESL) by using features from the output of Semantic Role ...
Xiaohua Liu, Bo Han, Kuan Li, Stephan Hyeonjun Sti...