Object Specification Logic.

Amílcar Sernadas Cristina Sernadas José Félix Costa

Published in: J. Log. Comput. (1995)

Keyphrases

d objects
high level
asynchronous circuits
complex objects
neural network
data sets
state machine
data objects
partial occlusion
object model
probability theory
transition systems
similar objects
automated reasoning
formal specification
spatial relations
object tracking
keypoints
moving objects
image sequences