780 search results - page 26 / 156 » Compositional Quantitative Reasoning |
ICIAP
2009
ACM
14 years 6 months ago
2009
ACM
This paper presents a novel method for medical image registration.
The global transformation is obtained by composing affine transformations,
which are recovered locally from giv...
QEST
2006
IEEE
14 years 1 months ago
2006
IEEE
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
IJAR
2008
13 years 7 months ago
2008
The two most important models of inferencing in approximate reasoning with fuzzy sets are Zadeh's Compositional Rule of Inference (CRI) and Similarity Based Reasoning (SBR). ...
EUSFLAT
2003
13 years 8 months ago
2003
A comparison is made of two approaches to approximate reasoning: Mamdani's interpolation method and the implication method. Both approaches are variants of Zadeh's compo...
ENTCS
2010
13 years 7 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...