Sciweavers

332 search results - page 42 / 67
» Automatic Structures: Richness and Limitations
Sort
View
DAC
1997
ACM
13 years 12 months ago
Equivalence Checking Using Cuts and Heaps
This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. The approach co...
Andreas Kuehlmann, Florian Krohm
AAAI
2007
13 years 10 months ago
Recognizing Textual Entailment Using a Subsequence Kernel Method
We present a novel approach to recognizing Textual nt. Structural features are constructed from abstract tree descriptions, which are automatically extracted from syntactic depend...
Rui Wang 0005, Günter Neumann
LREC
2010
150views Education» more  LREC 2010»
13 years 9 months ago
Spanish FreeLing Dependency Grammar
This paper presents the development of an open-source Spanish Dependency Grammar implemented in FreeLing environment. This grammar was designed as a resource for NLP applications ...
Marina Lloberes, Irene Castellón, Llu&iacut...
ACL
1998
13 years 9 months ago
Building Accurate Semantic Taxonomies from Monolingual MRDs
This paper presents a method that conbines a set of unsupervised algorithms in order to accurately build large taxonomies from any machine-readable dictionary (MRD). Our aim is to...
German Rigau, Eneko Agirre
ACL
1990
13 years 8 months ago
Prosody, Syntax and Parsing
We describe the modification of a grammar to take advantage of prosodic information provided by a speech recognition system. This initial study is limited to the use of relative d...
John Bear, Patti Price