Sciweavers

4962 search results - page 581 / 993
» Stochastic Model Checking
Sort
View
FAC
2007
122views more  FAC 2007»
15 years 4 months ago
Formal techniques for performance analysis: blending SAN and PEPA
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
Jane Hillston, Leïla Kloul
IJKESDP
2010
60views more  IJKESDP 2010»
15 years 3 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
ICASSP
2011
IEEE
14 years 8 months ago
Factor graph-based structural equilibria in dynamical games
Correlated equilibria are a generalization of Nash equilibria that permit agents to act in a correlated manner and can therefore, model learning in games. In this paper we define...
Liming Wang, Vikram Krishnamurthy, Dan Schonfeld
286
Voted
AMC
2011
14 years 8 months ago
Ruin theory with excess of loss reinsurance and reinstatements
The present paper studies the probability of ruin of an insurer, if excess of loss reinsurance with reinstatements is applied. In the setting of the classical CramerLundberg risk ...
Hansjörg Albrecher, Sandra Haas
CVPR
2003
IEEE
16 years 7 months ago
Simultaneous Estimation of Left Ventricular Motion and Material Properties with Maximum a Posteriori Strategy
In addition to its technical merits as a challenging non-rigid motion and structural integrity analysis problem, quantitative estimation of cardiac regional functions and material...
Huafeng Liu, Pengcheng Shi