Abstractions for Validation in Action.

Guido de Caso Víctor A. Braberman Diego Garbervetsky Sebastián Uchitel

Published in: SFM (2012)

Keyphrases

databases
image processing
spatio temporal
neural network
search engine
database systems
relational databases
trade off
mobile robot
heuristic search
derived predicates