A bisimulation for dynamic sealing.

Eijiro Sumii Benjamin C. Pierce

Published in: Theor. Comput. Sci. (2007)

Keyphrases

database
cooperative
data mining
artificial intelligence
feature selection
decision making
decision trees
image segmentation
three dimensional
pattern recognition
object recognition
dynamically changing