Effectively Checking the Finite Variant Property.

Santiago Escobar José Meseguer Ralf Sasse

Published in: RTA (2008)

Keyphrases

data sets
databases
case study
image sequences
multiscale
optimal solution
support vector
expert systems
information technology
mobile robot
integer points