Phototool Geometry Verification.

Jaroslaw Zdrojewski Adam Marchewka

Published in: CORES (2013)

Keyphrases

three dimensional
model checking
social networks
knowledge base
evolutionary algorithm
concurrent systems
formal verification
formal methods
face verification
camera calibration
range images
petri net
database
information systems
search engine
neural network
databases