Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets.

Musa Al-hassy Wolfram Kahl

Published in: RAMiCS (2015)

Keyphrases

case study
multi agent systems
artificial neural networks
object detection
text categorization
neural network
data mining
computer vision
multiscale
objective function
object recognition
expert systems
relational databases
evolutionary algorithm
theoretical framework
theoretical basis