Profiling Specification PEARL Designs.

Roman Gumzej Matjaz Colnaric Wolfgang A. Halang

Published in: DIPES (2004)

Keyphrases

high level
artificial intelligence
specification language
web services
similarity measure
formal specification
user interface
ims qti
formal verification
belief change
causal relationships
probability distribution
hidden markov models
real time
image processing
information systems
data sets