Type System for Four Delimited Control Operators.

Chiaki Ishio Kenichi Asai

Published in: GPCE (2022)

Keyphrases

control system
control structures
control strategy
information systems
information retrieval
genetic algorithm
computer vision
video sequences
probabilistic model
data acquisition
control method
process control
multiple types
control theory