6750 search results - page 1211 / 1350 » Performance Analysis Framework for Layout Analysis Methods |
190
click to vote
CAV
1999
Springer
15 years 7 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
143
click to vote
LICS
1999
IEEE
15 years 7 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
120
click to vote
SCALESPACE
1999
Springer
15 years 7 months ago
1999
Springer
ÐA method for deforming curves in a given image to a desired position in a second image is introduced in this paper. The algorithm is based on deforming the first image toward the...
146
click to vote
IPPS
1997
IEEE
15 years 7 months ago
1997
IEEE
Current parallelizing compilers for message-passing machines only support a limited class of data-parallel applications. One method for eliminating this restriction is to combine ...
139
click to vote
SIGGRAPH
1990
ACM
15 years 7 months ago
1990
ACM
We propose a new rendering technique that produces 3-D images with enhanced visual comprehensibility. Shape features can be readily understood if certain geometric properties are ...