Experts

1

2

3

4

5

6
Publications (13)

1Headdriven Transitionbased Parsing with Topdown Predictionthat are not trivial for shiftreduce parsers. The deductive system is very similar to Earley parsing (Earley, 1970). The...

2Dynamic Programming for LinearTime Incremental Parsing2010  Guang Xiang,Kenji SagaeSs1s0) (2) ρ = w · frey (j, Ss1s0) (3) Figure 1: Deductive system of vanilla shiftreduce. For convenience of presentation...

3Efficient Implementation of BeamSearch Incremental Parserss0〉: A Figure 1: An abstraction of the arcstandard deductive system Nivre (2008). The stack S is a list of heads, j is the...

4Syntactic Approaches To Automatic Book Indexing1988  Gerard Saltonsystem, 7, 9, 358359 Decomposition of relations, 394 Deductive system, 259, 356, 420 Deep indexing, 55 Deep structure of...

5Memoisation for Glue Language Deduction and Categorial Parsing1998  Mark Hepple(Hepple, 1995). these proposals employ a 'labelled deductive system' methodology (Gabbay, 1996), whereby types in proofs...

6Forest Rescoring: Faster Decoding with Integrated Language Models2007  Guang Xiang,David Chianguncovered segment. This process can be formalized as a deductive system. For example, the following deduction step grows a ...

7Compositional Semantics for Linguistic Formalisms1999  Shuly Wintnergrammar. We follow their insight and notation and list a deductive system for parsing unificationbased grammars. Definit ion...

8Machine Translation System Combination by Confusion Forest2011  Taro Watanabe,Eiichiro SumitaαY • β, h] : u⊗ v Goal: [TOP → S•, 0] Figure 3: The deductive system for Earley’s generation algorithm a grammar is learned...

9Enhancing Language Models in Statistical Machine Translation with Backward Ngrams and Mutual Information TriggersFollowing Chiang (2007), we describe our algorithms in a deductive system. We firstly show the algorithm3 that integrates the...

10Modeling the Translation of PredicateArgument Structure for SMTFollowing (Chiang, 2007), we describe the algorithm in a deductive system. It is shown in Figure 2. The algorithm integrates the...