5401 search results - page 430 / 1081 » Using Versions in GIS |
161
click to vote
ISAAC
2001
Springer
15 years 11 months ago
2001
Springer
We consider the problem of developing algorithms for the recognition of a fixed pattern within a permutation. These methods are based upon using a carefully chosen chain or tree ...
170
click to vote
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
205
click to vote
SCALESPACE
1999
Springer
15 years 11 months ago
1999
Springer
—We use an unconditionally stable numerical scheme to implement a fast version of the geodesic active contour model. The proposed scheme is useful for object segmentation in imag...
183
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes the implementation of a featurebased visual tracking algorithm on a SIMD MasPar MP-1 and the mixed-mode PASM prototype. The sequential algorithm is introduced...
147
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Abstract-- It is impractical to verify multiplier or divider circuits entirely at the bit-level using ordered Binary Decision Diagrams (BDDs), because the BDD representations for t...