A Functional Framework for Result Checking.

Gilles Barthe Pablo Buiras César Kunz

Published in: FLOPS (2010)

Keyphrases

neural network
object recognition
main contribution
databases
artificial intelligence
video sequences
expert systems
image retrieval
probabilistic model
lightweight
computational model