An approach to verify live NCL applications.

Delcino Picinin Jr.Jean-Marie Farines Cristian Koliver

Published in: WebMedia (2012)

Keyphrases

real time
image processing
artificial intelligence
data structure
domain knowledge
probabilistic model
verification method