Reducing Weak to Strong Bisimilarity in CCP

Andrés Aristizábal Filippo Bonchi Luis Fernando Pino Frank Valencia

Published in: ICE (2012)

Keyphrases

image segmentation
database
artificial intelligence
decision making
knowledge base
high level
object recognition
wireless sensor networks