Reducing Bounded Realizability Analysis to Reachability Checking.

Masaya Shimakawa Shigeki Hagihara Naoki Yonezaki

Published in: RP (2015)

Keyphrases

artificial intelligence
trade off
quantitative analysis
database
real world
data mining
computer vision
website
artificial neural networks
image analysis