6047 search results - page 100 / 1210 » Modeling with Extend |
FS
2010
15 years 8 days ago
2010
Portfolio credit risk models as well as models for operational risk can often be treated analogously to the collective risk model coming from insurance. Applying the classical Panj...
130
click to vote
FSTTCS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
109
click to vote
ENTCS
2010
15 years 1 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
FSKD
2006
Springer
15 years 5 months ago
2006
Springer
Interval number is a kind of special fuzzy number and the interval approach is a good method to deal with some uncertainty. The semi-absolute deviation risk function is extended to...
128
click to vote
AUSAI
2006
Springer
15 years 3 months ago
2006
Springer
Estimating the structure of the human face is a long studied and difficult task. In this paper we present a new method for estimating facial structure from only a minimal number o...