A LOTOS Simulator in OBJ.

Kazuhito Ohmaki Koichi Takahashi Kokichi Futatsugi

Published in: FORTE (1990)

Keyphrases

simulation model
function symbols
simulation environment
test bed
database
search engine
search algorithm
temporal ordering
constraint propagation
control system
user interface
multiscale
image segmentation
case study
decision making
neural network
databases