Search All Articles

Search by:
An Efficient Model Checking Algorithm for a Fragment of μ-Calculus
Mohammad Izadi • Ali Movaghar rahimabadi
Keywords: model checking • verification • μ-calculus • first recurrence automata • temporal logics
OAV-VVT Expert, an Active System for Verification and Validation of Knowledge Base Using OAV Knowledge Representation
Chitra Dadkhah • Ahmad Abdollahzadeh Barforosh
Keywords: verification and validation • knowledge base • knowledge representation • OAV triple • expert systems • AI systems
Face Verification Using Improved One-dimensional Hidden Markov Model
Shaghayegh Naderi • Mohammad Shahram Moin • Nasrollah Moghaddam Charkari
Keywords: Face verification • K.means • Discrete Cosine Transform • ORL database • 1D Hidden Markov Model • 2D Hidden Markov Model
About Journal
Editorial Board
Guide For Authors
Submit Your Manuscript
Latest Issue
Past Issues
© Copyright - The CSI Journal on Computer Science and Engineering
Produced by Intelligent Information Solutions Center