Sciweavers

760 search results - page 49 / 152
» Recommendation Systems: A Probabilistic Analysis
Sort
View
QEST
2007
IEEE
15 years 5 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
83
Voted
COMPSAC
2008
IEEE
15 years 6 months ago
A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
IFIP13
2004
15 years 1 months ago
Failure Analysis and the Safety-Case Lifecycle
: The failure of a safety-critical system, though undesirable, is often a source of valuable lessons that can help prevent future failures. Current analysis practices do not always...
William S. Greenwell, Elisabeth A. Strunk, John C....
GLOBECOM
2009
IEEE
15 years 3 months ago
Stochastic Network Calculus Models under Max-Plus Algebra
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
Jing Xie, Yuming Jiang
91
Voted
FLAIRS
2006
15 years 1 months ago
Introspective Subgroup Analysis for Interactive Knowledge Refinement
When knowledge systems are deployed into a real-world application, then the maintenance and the refinement of the knowledge are essential tasks. Many existing automatic knowledge ...
Martin Atzmüller, Joachim Baumeister, Frank P...