Relating pi-calculus to Object-Z.

Kenji Taguchi Jin Song Dong Gabriel Ciobanu

Published in: ICECCS (2004)

Keyphrases

d objects
complex objects
object model
data objects
keypoints
complex scenes
moving objects
multiple objects
bounding box
real time
data sets
digital libraries
data model
image regions
target object
individual objects