1855 search results - page 317 / 371 » Composing model programs for analysis |
124
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Suppose a given observation matrix can be decomposed as the sum of a low-rank matrix and a sparse matrix (outliers), and the goal is to recover these individual components from th...
126
click to vote
DEDS
2010
15 years 2 months ago
2010
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...
107
Voted
AUTOMATICA
2006
15 years 2 months ago
2006
This paper examines a problem related to the optimal risk management of banks in a stochastic dynamic setting. In particular, we minimize7 market and capital adequacy risk that in...
116
Voted
IJISEC
2008
15 years 2 months ago
2008
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...
214
Voted
LPAR
2010
Springer
15 years 13 days ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...