Sciweavers

564 search results - page 15 / 113
» Training Tree Transducers
Sort
View
JLP
2007
114views more  JLP 2007»
13 years 7 months ago
Deaccumulation techniques for improving provability
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
Jürgen Giesl, Armin Kühnemann, Janis Voi...
CICLING
2010
Springer
13 years 12 months ago
A Maximum Entropy Approach to Syntactic Translation Rule Filtering
In this paper we will present a maximum entropy filter for the translation rules of a statistical machine translation system based on tree transducers. This filter can be success...
Marcin Junczys-Dowmunt
COLING
2008
13 years 9 months ago
Phrasal Segmentation Models for Statistical Machine Translation
Phrasal segmentation models define a mapping from the words of a sentence to sequences of translatable phrases. We discuss the estimation of these models from large quantities of ...
Graeme W. Blackwood, Adrià de Gispert, Will...
ICDM
2005
IEEE
122views Data Mining» more  ICDM 2005»
14 years 1 months ago
Learning through Changes: An Empirical Study of Dynamic Behaviors of Probability Estimation Trees
In practice, learning from data is often hampered by the limited training examples. In this paper, as the size of training data varies, we empirically investigate several probabil...
Kun Zhang, Zujia Xu, Jing Peng, Bill P. Buckles
ACL
2008
13 years 9 months ago
A Unified Syntactic Model for Parsing Fluent and Disfluent Speech
This paper describes a syntactic representation for modeling speech repairs. This representation makes use of a right corner transform of syntax trees to produce a tree representa...
Tim Miller, William Schuler