State of Büchi Complementation.

Ming-Hsien Tsai Seth Fogarty Moshe Y. Vardi Yih-Kuen Tsay

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

genetic algorithm
website
feature extraction
object recognition
evolutionary algorithm
state space
medical images