Preorders on Monads and Coalgebraic Simulations.

Shin-ya Katsumata Tetsuya Sato

Published in: FoSSaCS (2013)

Keyphrases

image segmentation
management system
artificial intelligence
computer vision
image processing
object recognition
special case
numerical simulations
simulation models
databases
three dimensional
high level
feature extraction
objective function
expert systems
mathematical analysis