Sciweavers

4272 search results - page 132 / 855
» A Case for Automatic System Evaluation
Sort
View
ACL
2010
15 years 4 months ago
Automatic Selectional Preference Acquisition for Latin Verbs
We present a system that automatically induces Selectional Preferences (SPs) for Latin verbs from two treebanks by using Latin WordNet. Our method overcomes some of the problems c...
Barbara McGillivray
ECIR
2006
Springer
15 years 8 months ago
Automatic Acquisition of Chinese-English Parallel Corpus from the Web
Parallel corpora are a valuable resource for tasks such as cross-language information retrieval and data-driven natural language processing systems. Previously only small scale cor...
Ying Zhang, Ke Wu, Jianfeng Gao, Phil Vines
ISSTA
2006
ACM
16 years 15 days ago
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
Jamieson M. Cobleigh, George S. Avrunin, Lori A. C...
AI
2009
Springer
16 years 1 months ago
Automatic Frame Extraction from Sentences
We present a method for automatic extraction of frames from .a dependency graph. Our method uses machine learning applied to a dependency tree to assign frames and assign frame ele...
Martin Scaiano, Diana Inkpen
LCTRTS
1998
Springer
15 years 10 months ago
Automatic Accurate Time-Bound Analysis for High-Level Languages
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
Yanhong A. Liu, Gustavo Gomez