Search Sciweavers | Sciweavers

554 search results - page 16 / 111

» Approximate Probabilistic Model Checking

click to vote

QEST
2009
IEEE

184views Modeling and Simulation» more QEST 2009»

Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples

14 years 2 months ago

Download www.inf.uni-konstanz.de

—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...

Husain Aljazzar, Manuel Fischer, Lars Grunske, Mat...

claim paper

Read More »

click to vote

IRI
2008
IEEE

227views Information Technology» more IRI 2008»

Model check stochastic supply chains

14 years 1 months ago

Download www.eecs.wsu.edu

—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...

Li Tan, Shenghan Xu

claim paper

Read More »

click to vote

ICDE
2006
IEEE

201views Database» more ICDE 2006»

Approximate Data Collection in Sensor Networks using Probabilistic Models

14 years 8 months ago

Download www.cs.umd.edu

Wireless sensor networks are proving to be useful in a variety of settings. A core challenge in these networks is to minimize energy consumption. Prior database research has propo...

David Chu, Amol Deshpande, Joseph M. Hellerstein, ...

claim paper

Read More »

click to vote

SIGIR
1994
ACM

112views Information Technology» more SIGIR 1994»

Some Simple Effective Approximations to the 2-Poisson Model for Probabilistic Weighted Retrieval

13 years 11 months ago

Download www.soi.city.ac.uk

The 2

Stephen E. Robertson, Steve Walker

claim paper