Haifa verification conference 2007.
Karen YoravPublished in: Int. J. Softw. Tools Technol. Transf. (2009)
Keyphrases
- signature verification
- model checking
- selected papers
- formal verification
- international conference
- invited paper
- graphics and image processing
- database
- asia pacific
- advances in artificial intelligence
- neural network
- asynchronous circuits
- real time
- koli calling
- artificial neural networks
- machine learning
- annual conference
- fingerprint verification
- learning algorithm
- social networks
- verification method
- panel discussion
- concurrent systems
- centre for advanced studies
- czech republic
- case study
- face recognition
- cutting edge