A Tableau for Bundled Strategies.

John Christopher McCabe-Dansted Mark Reynolds

Published in: TABLEAUX (2015)

Keyphrases

description logics
multiscale
relational databases
databases
neural network
data mining
artificial intelligence
search engine
feature selection
case study
three dimensional
image sequences
objective function
search strategies
optimal strategy
automated theorem proving