High-level modeling and verification of cellular signaling.

Natasa Miskov-Zivanov Paolo Zuliani Qinsi Wang Edmund M. Clarke James R. Faeder

Published in: HLDVT (2016)

Keyphrases

high level
low level
model checking
real world
cellular automata
artificial neural networks
databases
neural network
learning algorithm
computer vision
feature selection
image processing
hidden markov models
face verification
intermediate level