An Abstract Machine for the Kell Calculus.

Philippe Bidinger Alan Schmitt Jean-Bernard Stefani

Published in: FMOODS (2005)

Keyphrases

abstract machine
data model
machine learning
data sets
information retrieval
search engine
face recognition
digital libraries
formal language
proof procedure
social networks
e learning
qualitative spatial reasoning
computer algebra
qualitative spatial and temporal reasoning