F-SORT: An Alternative for Faster Geometric Verification.

Jacob Chan Jimmy Addison Lee Kemao Qian

Published in: ACCV (1) (2016)

Keyphrases

model checking
geometric reasoning
artificial intelligence
multiscale
multiresolution
multi agent
formal verification
geometric information
formal analysis
geometric constraints
data structure
database
clustering algorithm
social networks
machine learning
databases
data sets
real time