Sciweavers

134 search results - page 7 / 27
» Extreme events
Sort
View
IJCNN
2008
IEEE
14 years 2 months ago
A comparison of bayesian and conditional density models in probabilistic ozone forecasting
— Probabilistic models were developed to provide predictive distributions of daily maximum surface level ozone concentrations. Five forecast models were compared at two stations ...
Song Cai, William W. Hsieh, Alex J. Cannon
TRIDENTCOM
2008
IEEE
14 years 2 months ago
A case study in testing a network security algorithm
Several difficulties arise when testing network security algorithms. First, using network data captured at a router does not guarantee that any instances of the security event of...
Carrie Gates
APN
1999
Springer
13 years 12 months ago
Autonomous Continuous P/T Systems
Discrete event dynamic systems may have extremely large state spaces. For their analysis, it is usual to relax the description by removing the integrality constraints. Applying thi...
Laura Recalde, Enrique Teruel, Manuel Silva
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
14 years 5 days ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
ICDE
1995
IEEE
180views Database» more  ICDE 1995»
14 years 9 months ago
Building an Integrated Active OODBMS: Requirements, Architecture, and Design Decisions
Active OODBMSs must provide e cient support for event detection, composition, and rule execution. Previous experience, reported here, building active capabilities on top of existi...
Alejandro P. Buchmann, Jürgen Zimmermann, Jos...