Sign in
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