4609 search results - page 233 / 922 » Automatic Generation of Sigma-Protocols |
158
click to vote
IPCCC
2006
IEEE
16 years 17 days ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...
159
click to vote
CP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
146
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a system being developed to recognize date information handwritten on Canadian bank cheques. A segmentation based strategy is adopted in this system. In order...
151
click to vote
ITCC
2002
IEEE
15 years 11 months ago
2002
IEEE
The needs for managing similar documents in different languages increases with the growing amounts of electronic information available in documents of the same type (e.g. news str...
184
click to vote
WACV
2002
IEEE
15 years 11 months ago
2002
IEEE
3D models of urban sites with geometry and facade textures are needed for many planning and visualization applications. Approximate 3D wireframe model can be derived from aerial i...