Toward a Formal Task-Based Specification Framework for Collaborative Environments.

Maik Wurdel Daniel Sinnig Peter Forbrig

Published in: CADUI (2008)

Keyphrases

collaborative environments
main contribution
probabilistic model
theoretical framework
high quality
machine learning
image processing
high level
wavelet transform
logic programs
multi modal
lightweight
conceptual model
formal model
formal specification
formal language