Sciweavers

298 search results - page 26 / 60
» What's the Future for Computational Linguistics
Sort
View
ACL2
2006
ACM
14 years 1 months ago
A SAT-based procedure for verifying finite state machines in ACL2
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
Warren A. Hunt Jr., Erik Reeber
ACL
2009
13 years 5 months ago
The Modulation of Cooperation and Emotion in Dialogue: The REC Corpus
In this paper we describe the Rovereto Emotive Corpus (REC) which we collected to investigate the relationship between emotion and cooperation in dialogue tasks. It is an area whe...
Federica Cavicchio
EACL
2003
ACL Anthology
13 years 8 months ago
Topological Parsing
We present a new grammar formalism for parsing with freer word-order languages, motivated by recent linguistic research in German and the Slavic languages. Unlike CFGs, these gram...
Gerald Penn, Mohammad Haji-Abdolhosseini
SPEECH
2002
112views more  SPEECH 2002»
13 years 7 months ago
Relating dialogue games to information state
This paper1 discusses the use of `conversational' or `dialogue games' as a basis for building dialogue systems. We give a tutorial overview of some recent attempts to re...
Stephen G. Pulman
SEMWEB
2007
Springer
14 years 1 months ago
LILY: the Results for the Ontology Alignment Contest OAEI 2007
This paper presents the results of LILY, which is an ontology mapping system, for OAEI 2007 campaign. To accurately describe what the real meaning of an entity in the original onto...
Peng Wang, Baowen Xu