Sciweavers

200 search results - page 3 / 40
» Higher order models for fuzzy random variables
Sort
View
ASM
2010
ASM
14 years 25 days ago
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
Osman Hasan, Sofiène Tahar
IJAR
2007
86views more  IJAR 2007»
13 years 7 months ago
Joint propagation of probability and possibility in risk analysis: Towards a formal framework
This paper discusses some aspects of fuzzy random variables obtained by propagating uncertainty in risk analysis when some input parameters are stochastic, while others are determ...
Cédric Baudrit, Inés Couso, Didier D...
FUZZIEEE
2007
IEEE
13 years 11 months ago
The Parametric Modification of Fuzzy Sets Constituting a Content of Medical Linguistic Variables
One of the most important features of fuzzy set theory is its potential for the modeling of natural language expressions. Most works done on this topic focus on some parts of natur...
Elisabeth Rakus-Andersson
CAV
2009
Springer
215views Hardware» more  CAV 2009»
14 years 8 months ago
Homer: A Higher-Order Observational Equivalence Model checkER
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
David Hopkins, C.-H. Luke Ong
IJKESDP
2010
60views more  IJKESDP 2010»
13 years 6 months ago
Portfolio selection problems with normal mixture distributions including fuzziness
— In this paper, several portfolio selection problems with normal mixture distributions including fuzziness are proposed. Until now, many researchers have proposed portfolio mode...
Takashi Hasuike, Hiroaki Ishii