334 search results - page 5 / 67 » A New Parallel Algorithm for Generalized LR Parsing |
109
click to vote
TCS
2008
14 years 11 months ago
2008
1 Elimination Game is a well known algorithm that simulates Gaussian elimination of matrices on graphs, and it computes a triangulation of the input graph. The number of fill edge...
107
click to vote
NAACL
2004
15 years 29 days ago
2004
In this paper, we propose a machine learning algorithm for shallow semantic parsing, extending the work of Gildea and Jurafsky (2002), Surdeanu et al. (2003) and others. Our algor...
HPCC
2005
Springer
15 years 5 months ago
2005
Springer
This paper proposes a new parity space approach to a fault detection for general systems with noises, actuator faults and sensor faults. The proposed parity space approach could be...
101
click to vote
CAV
2012
Springer
13 years 2 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
PPSN
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present a new method for proving lower bounds in evolutionary computation based on fitness-level arguments and an additional condition on transition probabilities bet...