2610 search results - page 242 / 522 » The Recognition Strategy Language |
133
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
We present a direct implementation of the shift and reset control operators in the Scheme 48 system. The new implementation improves upon the traditional technique of simulating s...
141
click to vote
JLP
2010
15 years 1 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
152
click to vote
ACL
2006
15 years 8 months ago
2006
Unification grammars are widely accepted as an expressive means for describing the structure of natural languages. In general, the recognition problem is undecidable for unificati...
219
click to vote
EMNLP
2010
15 years 4 months ago
2010
This paper proposes a method for automatically inserting commas into Japanese texts. In Japanese sentences, commas play an important role in explicitly separating the constituents...
170
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Model M, a novel class-based exponential language model, has been shown to significantly outperform word n-gram models in state-of-the-art machine translation and speech recognit...