A modular and parameterized presentation of pregroup calculus.

Published in: Inf. Comput. (2010)

Keyphrases

multimedia
database
computer vision
modular neural networks
real time
databases
neural network
data structure
video sequences
data model
logic programs
first order logic
formal language
provably correct
modular structure