Modeling Dynamic Processes in TLA.

Georg Rock Werner Stephan Andreas Wolpers

Published in: FBT (1999)

Keyphrases

dynamic aspects
search engine
search algorithm
dynamic environments
dynamically changing
computer vision
e learning
image processing
learning environment
digital libraries
preprocessing
software engineering
medical images
computational model
temporal logic