Verification of a brick Wang tiling algorithm.
Toshiaki MatsushimaYoshihiro MizoguchiAlexandre Derouet-JourdanPublished in: SCSS (2016)
Keyphrases
- times faster
- cost function
- preprocessing
- optimization algorithm
- dynamic programming
- theoretical analysis
- k means
- learning algorithm
- recognition algorithm
- detection algorithm
- high accuracy
- improved algorithm
- computational cost
- segmentation algorithm
- selection algorithm
- optimal solution
- neural network
- model checking
- matching algorithm
- single pass
- estimation algorithm
- convergence rate
- memory requirements
- bayesian networks
- image registration
- segmentation method
- clustering method
- np hard
- input data
- simulated annealing
- probabilistic model