Sciweavers

1999 search results - page 9 / 400
» Finding Reductions Automatically
Sort
View
ACL
2009
14 years 7 months ago
Finding Hedges by Chasing Weasels: Hedge Detection Using Wikipedia Tags and Shallow Linguistic Features
We investigate the automatic detection of sentences containing linguistic hedges using corpus statistics and syntactic patterns. We take Wikipedia as an already annotated corpus u...
Viola Ganter, Michael Strube
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 1 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
ANLP
1992
86views more  ANLP 1992»
14 years 10 months ago
A Simple Rule-Based Part of Speech Tagger
Automatic part of speech tagging is an area of natural language processing where statistical techniques have been more successful than rule-based methods. In this paper, we presen...
Eric Brill
EMNLP
2009
14 years 7 months ago
Semi-supervised Semantic Role Labeling Using the Latent Words Language Model
Semantic Role Labeling (SRL) has proved to be a valuable tool for performing automatic analysis of natural language texts. Currently however, most systems rely on a large training...
Koen Deschacht, Marie-Francine Moens
78
Voted
AAIM
2008
Springer
105views Algorithms» more  AAIM 2008»
15 years 4 months ago
Finding Optimal Refueling Policies in Transportation Networks
We study the combinatorial properties of optimal refueling policies, which specify the transportation paths and the refueling operations along the paths to minimize the total trans...
Shieu-Hong Lin