Login / Signup
Helios Verification: To Alleviate, or to Nominate: Is That the Question, or Shall we Have Both?
Stephan Neumann
Maina M. Olembo
Karen Renaud
Melanie Volkamer
Published in:
EGOVIS (2014)
Keyphrases
</>
model checking
formal verification
face verification
question classification
concurrent systems
case study
evolutionary algorithm
signature verification
data sets
neural network
real world
genetic algorithm
computer vision
decision making
optimal solution
digital libraries