Sciweavers

1490 search results - page 173 / 298
» Interactive semantics
Sort
View
APLAS
2008
ACM
15 years 4 months ago
The Essence of Form Abstraction
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Ya...
ATVA
2008
Springer
101views Hardware» more  ATVA 2008»
15 years 4 months ago
Run-Time Monitoring of Electronic Contracts
Electronic inter-organizational relationships are governed by contracts regulating their interaction. It is necessary to run-time monitor the contracts, as to guarantee their fulfi...
Marcel Kyas, Cristian Prisacariu, Gerardo Schneide...
107
Voted
EMNLP
2008
15 years 3 months ago
Seeded Discovery of Base Relations in Large Corpora
Relationship discovery is the task of identifying salient relationships between named entities in text. We propose novel approaches for two sub-tasks of the problem: identifying t...
Nicholas Andrews, Naren Ramakrishnan
ACL
1998
15 years 3 months ago
Spelling Correction Using Context
This paper describes a spelling correction system that functions as part of an intelligent tutor that carries on a natural language dialogue with its users. The process that searc...
Mohammad Ali Elmi, Martha W. Evens
ACL
1997
15 years 3 months ago
A Uniform Approach to Underspecification and Parallelism
We propose a unified framework in which to treat semantic underspecification and parallelism phenomena in discourse. The framework employs a constraint language that can express e...
Joachim Niehren, Manfred Pinkal, Peter Ruhrberg