273 search results - page 36 / 55 » Problem formulation as the reduction of a decision model |
SIAMSC
2010
13 years 7 months ago
2010
We propose certified reduced basis methods for the efficient and reliable evaluation of a general output that is implicitly connected to a given parameterized input through the ha...
ICCAD
1996
IEEE
14 years 23 days ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
BROADNETS
2004
IEEE
14 years 11 days ago
2004
IEEE
The scarcity and large fluctuations of link bandwidth in wireless networks have motivated the development of adaptive multimedia services in mobile communication networks, where i...
CCE
2007
13 years 8 months ago
2007
This work describes a stochastic approach for the optimal placement of sensors in municipal water networks to detect maliciously injected contaminants. The model minimizes the exp...
GAMESEC
2010
13 years 6 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...