Computation and Logic in the Real World: CiE 2007.

S. Barry Cooper Elvira Mayordomo Andrea Sorbi

Published in: Theory Comput. Syst. (2009)

Keyphrases

real world
synthetic data
wide range
modal logic
case study
parallel computation
data sets
logic programming
neural network
formal theory
real life
epistemic logic
computational properties
automated reasoning
video sequences
data structure
computer vision
databases