On the complexity of equivalence of specifications of infinite objects.

Jörg Endrullis Dimitri Hendriks Rena Bakhshi

Published in: ICFP (2012)

Keyphrases

multiple objects
formal specification
neural network
object classes
bounding box
object level
database
real time
data sets
multimedia
moving objects
viewpoint
data objects
query answering
digital objects
object models