Login / Signup
Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification.
Djamel-Eddine Saïdouni
Nabil Belala
Published in:
Int. Arab J. Inf. Technol. (2005)
Keyphrases
</>
computational model
probability distribution
database systems
prior knowledge
cost function
management system
statistical model
video sequences
supervised learning
theoretical framework
mathematical model
experimental data