1999 search results - page 139 / 400 » Dependently Typed Grammars |
203
click to vote
MT
2010
15 years 4 months ago
2010
This paper introduces deep syntactic structures to syntax-based Statistical Machine Translation (SMT). We use a Head-driven Phrase Structure Grammar (HPSG) parser to obtain the de...
143
click to vote
FSTTCS
1993
Springer
15 years 10 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
195
click to vote
FM
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
139
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
We address the automatic classification of scanned input media in order to improve color calibration. Since scanner responses vary significantly according to the type of input, a ...
172
click to vote
MKM
2009
Springer
16 years 28 days ago
2009
Springer
The extraction of the relations of nested table headers to content cells is automated with a view to constructing narrow domain ontologies of semistructured web data. A taxonomy of...