Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic.

Silvio Ranise Christophe Ringeissen Calogero G. Zarba

Published in: FroCoS (2005)

Keyphrases

data structure
combining multiple
nearest neighbor
theoretical framework
database
computer vision
website
decision trees
image sequences
artificial neural networks
pattern matching
multidimensional data
cognitive psychology
efficient data structures