Runtime Conformance Checking of Objects Using Alloy.

Michelle L. Crane Jürgen Dingel

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

moving objects
neural network
d objects
object segmentation
image segmentation
object model
topological properties
individual objects