Sciweavers

13026 search results - page 106 / 2606
» Probabilistic Relational Models
Sort
View
ISMVL
2005
IEEE
90views Hardware» more  ISMVL 2005»
15 years 8 months ago
Test Generation and Fault Localization for Quantum Circuits
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
Marek A. Perkowski, Jacob Biamonte, Martin Lukac
113
Voted
RTA
2005
Springer
15 years 8 months ago
Proving Positive Almost-Sure Termination
Abstract In order to extend the modeling capabilities of rewriting systems, it is rather natural to consider that the firing of rules can be subject to some probabilistic laws. Co...
Olivier Bournez, Florent Garnier
GLOBECOM
2009
IEEE
15 years 7 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
UAI
1990
15 years 4 months ago
Problem formulation as the reduction of a decision model
In this paper, we extend the QMR-DT probabilistic model for the domain of internal medicine to include decisions about treatments. In addition, we describe how we can use the comp...
David Heckerman, Eric Horvitz
DELTA
2010
IEEE
15 years 8 months ago
A More Precise Model of Noise Based PCMOS Errors
—In this paper we present a new model for characterization of probabilistic gates. While still not mainstream, probabilistic CMOS has the potential to dramatically reduce energy ...
Arun Bhanu, Mark S. K. Lau, Keck Voon Ling, Vincen...