Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs

A new approach to the verification of ch

A new approach to the verification of chinese signatures with variant orientations and scales using relaxation and state-space search methods

✍ Chi-Fang Lin; Chi-Wen Chen 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 438 KB

A signature verification system usually consists of a learning stage and a testing stage. Always an assumption is made by most previous studies that the variations in orientation and scale of the signatures done by the signer in the two stages should be minimized, otherwise, errors might occur. In t