1518 search results - page 131 / 304 » Cryptographic Test Correction |
110
click to vote
ACL
1998
15 years 5 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...
109
click to vote
ACL
1994
15 years 5 months ago
1994
Wepresent a new approachtodisambiguatingsyntactically ambiguous words in context, based on Variable Memory Markov (VMM) models. In contrast to xed-length Markovmodels,whichpredict...
131
click to vote
IJFCS
2008
15 years 3 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
118
Voted
TOPLAS
2008
15 years 3 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
132
click to vote
MVA
2000
15 years 3 months ago
2000
We present a linear rectification algorithm for general, unconstrained stereo rigs. The algorithm takes the two perspective projection matrices of the original cameras, and compute...