501 search results - page 61 / 101 » Diagram Techniques for Confluence |
122
click to vote
FMSD
2000
15 years 1 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
123
click to vote
TVCG
2011
14 years 9 months ago
2011
—Centroidal Voronoi tessellations (CVT) are widely used in computational science and engineering. The most commonly used method is Lloyd’s method, and recently the L-BFGS metho...
126
click to vote
APN
2008
Springer
15 years 4 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
118
click to vote
DAGSTUHL
2010
15 years 3 months ago
2010
The segmentation of the myocardium based on the 17-segment model as recommended by the American Heart Association is widely used in medical practice. The patient-specific coronary...
101
click to vote
SIBGRAPI
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a data hiding technique for printed bicolor documents. It inserts tiny dots, hardly noticeable at normal reading distance, to embed the message. For message ex...