Sciweavers

KONVENS
1992
13 years 11 months ago
Flexible Semantics Communication in Integrated Speech / Language Architectures
: We consider communication between modules in an integrated architecture for Speech and Natural Language (NL), in particular the communication with the semantics module. In an int...
Abdel Kader Diagne, John Nerbonne
SOSL
1993
13 years 11 months ago
Verifying Process Algebra Proofs in Type Theory
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
M. P. A. Sellink
ECAI
1992
Springer
13 years 11 months ago
Computing the Temporal Structure of Events in Natural Language
Abstract. A key step in Natural Language Processing is creating representations of sentences and discourses. Sentences describe states and events. Thus a crucial component of seman...
Mona Singh, Munindar P. Singh
MUC
1993
13 years 11 months ago
UMass/Hughes: description of the CIRCUS system used for MUC-5
Wendy G. Lehnert, J. McCarthy, Stephen Soderland, ...
MUC
1993
13 years 11 months ago
SRA: description of the SOLOMON system as used for MUC-5
Chinatsu Aone, Sharon Flank, Douglas McKee, Paul K...