4340 search results - page 407 / 868 » Formal Methods and Cryptography |
170
click to vote
FAC
2002
15 years 6 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
151
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...
183
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
Programs represented in Static Single Assignment (SSA) form contain phi instructions (or functions) whose operational semantics are to merge values coming from distinct control flo...
200
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
The quality of image stitching is measured by the similarity of the stitched image to each of the input images, and by the visibility of the seam between the stitched images. In or...
170
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
We demonstrate that it is possible to filter an image with an elliptic window of varying size, elongation and orientation with a fixed computational cost per pixel. Our method inv...