4962 search results - page 452 / 993 » Stochastic Model Checking |
133
click to vote
CCE
2004
15 years 4 months ago
2004
This paper presents some new concepts and procedures for financial risk management. To complement the use of value at risk a new concept, upside potential or opportunity value as ...
131
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We tackle the problem of multi-class relational sequence learning using relevant patterns discovered from a set of labelled sequences. To deal with this problem, firstly...
137
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—We propose a virtualization framework to separate the network operator (NO) who focuses on wireless resource management and service providers (SP) who target distinct objectives...
163
Voted
SADM
2010
14 years 11 months ago
2010
This paper is concerned with classifying high dimensional data into one of two categories. In various settings, such as when dealing with fMRI and microarray data, the number of v...
125
Voted
GG
2004
Springer
15 years 9 months ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...