Logics for Quantitative Systems.

Published in: AlgoSyn (2010)

Keyphrases

management system
databases
information retrieval systems
expressive power
real world
multiscale
knowledge based systems
computing systems
biometric systems
quantitative measures