3630 search results - page 446 / 726 » How to Compare Treebanks |
171
click to vote
EUROCRYPT
1999
Springer
15 years 11 months ago
1999
Springer
A recoding rule for exponentiation is a method for reducing the cost of the exponentiation ae by reducing the number of required multiplications. If w(e) is the (hamming) weight of...
167
click to vote
ICCVW
1999
Springer
15 years 11 months ago
1999
Springer
The parameters estimated by Structure from Motion SFM contain inherent indeterminacies which we call gauge freedoms. Under a perspective camera, shape and motion parameters are o...
158
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
158
click to vote
ICS
1999
Tsinghua U.
15 years 11 months ago
1999
Tsinghua U.
In this paper we examine how application performance scales on a state-of-the-art shared virtual memory (SVM) system on a cluster with 64 processors, comprising 4-way SMPs connect...
198
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...