Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks.
Jens Chr. GodskesenHans HüttelMorten KühnrichPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- model checking
- knowledge base
- process algebra
- routing protocol
- search engine
- point correspondences
- formal verification
- information systems
- feature matching
- face verification
- signature verification
- image matching
- functional verification
- computer algebra
- person identification
- face recognition
- image sequences
- database systems
- computer vision