Can C++ be made as safe as SPARK?

Published in: HILT (2014)

Keyphrases

genetic algorithm
computer vision
image processing
face recognition
object recognition
evolutionary algorithm
cellular automata
multimedia
ground truth
detection algorithm
data streams
generative model
intrusion detection