113
click to vote
SPIRE
2000
Springer
2000
Springer
Combinatorial Methods for Approximate Pattern Matching under Rotations and Translations in 3D Arrays
15 years 7 months ago
We consider the problem of defining and evaluating the distance between three
121
click to vote
SPIRE
2000
Springer
15 years 7 months ago
2000
Springer
Fast rotation invariant filtering algorithms for are presented for speeding
118
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
177
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...