Reasoning about Transfinite Sequences.

Stéphane Demri David Nowak

Published in: Int. J. Found. Comput. Sci. (2007)

Keyphrases

formal theory
qualitative reasoning
database
real time
neural network
spatial reasoning
feature selection
image processing
database systems
face recognition
multi agent
spatio temporal
sequence alignment