5012 search results - page 339 / 1003 » Distributed Error Correction |
149
click to vote
ACL
1998
15 years 8 months ago
1998
We introduce an algorithm for scope resolution in underspecified semantic representations. Scope preferences are suggested on the basis of semantic argument structure. The major n...
119
click to vote
ANLP
1997
15 years 8 months ago
1997
Repair processing plays an important role in spoken language processing systems. This paper proposes a method for correcting Chinese repetition repairs and demonstrates the effect...
130
click to vote
DCG
2010
15 years 6 months ago
2010
An essential cycle on a surface is a simple cycle that cannot be continuously deformed to a point or a single boundary. We describe algorithms to compute the shortest essential cy...
184
click to vote
FAC
2008
15 years 6 months ago
2008
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z/Eves theorem prover. We took a conservative approach ...
110
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
In hyperfine structure examinations, routine high resolution spectroscopy methods have to be combined with exact fine structure calculations. The so-called magnetic A and electric...