A First Order Predicate Logic Formulation Of The 3d Reconstruction Problem And Its Solution Space.
Martin RobinsonKurt KubikBrian C. LovellPublished in: Int. J. Pattern Recognit. Artif. Intell. (2005)
Keyphrases
- solution space
- simulated annealing
- metaheuristic
- search space
- optimal solution
- test functions
- exhaustive search
- premature convergence
- structure from motion
- feasible solution
- three dimensional
- theorem proving
- d scene
- evolutionary algorithm
- neural network
- non rigid structure from motion
- point correspondences
- optimization problems
- active learning
- candidate solutions
- stochastic sampling