Generation of shorter sequences for high resolution error diagnosis using sequential SAT.
Sung-Jui (Song-Ra) PanKwang-Ting ChengJohn MoondanosZiyad HannaPublished in: ASP-DAC (2006)
Keyphrases
- high resolution
- low resolution
- sequential data
- super resolution
- image processing
- satisfiability problem
- sat solvers
- hidden markov models
- field of view
- high quality
- satellite images
- remote sensing
- long sequences
- search algorithm
- fault detection
- fault diagnosis
- high frequency
- phase transition
- variable length
- generation process
- low resolution images
- model based reasoning
- stochastic local search algorithms
- error rate
- image analysis
- medical diagnosis
- search strategies
- max sat
- high resolution images