1022 search results - page 20 / 205 » Relators and Metric Bisimulations |
EUSFLAT
2007
15 years 1 months ago
2007
We generalize the solution of a multicriterial optimization problem which has been given in [5]. They have used a comparison of the criterion fuzzy preference relations and the ge...
101
click to vote
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
FORTE
2008
15 years 1 months ago
2008
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
ECBS
2007
IEEE
15 years 6 months ago
2007
IEEE
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
JUCS
2007
14 years 11 months ago
2007
Abstract: We introduce the notion of ∧- and ∨-pairs of functions on lattices as an abstraction of the notions of metric and its related entropy for probability distributions. T...