A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects.

Published in: FoSSaCS (1999)

Keyphrases

data sets
neural network
d objects
bounding box
geometric constraints
equivalence relation
real time
website
data model
keypoints
data objects
object model