8828 search results - page 1502 / 1766 » Formal methods in practice |
155
Voted
IWVF
2001
Springer
15 years 11 months ago
2001
Springer
The paper introduces a new approximation scheme for planar digital curves. This scheme defines an approximating sausage ‘around’ the given digital curve, and calculates a mini...
181
click to vote
IWVF
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a practical system developed for generating 3D models of human heads from silhouettes alone. The input to the system is an image sequence acquired from circula...
166
click to vote
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
The main cryptographic primitives (Bit Commitment (BC) and Oblivious Transfer (OT) protocols) based on noisy channels have been considered in [1] for asymptotic case. Non-asymptoti...
189
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
Incremental parsing with a context free grammar produces partial syntactic structures for an initial fragment on the word-by-word basis. Owing to the syntactic ambiguity, however,...
178
click to vote
PAKDD
2001
ACM
15 years 11 months ago
2001
ACM
Abstract. The standardized visual field assessment, which measures visual function in 76 locations of the central visual area, is an important diagnostic tool in the treatment of ...