Sciweavers

2088 search results - page 16 / 418
» The Probabilistic Method
Sort
View
FLAIRS
2003
13 years 9 months ago
Belief Revision and Information Fusion in a Probabilistic Environment
This paper presents new methods for probabilistic belief revision and information fusion. By making use of the principles of optimum entropy (ME-principles), we define a generali...
Gabriele Kern-Isberner, Wilhelm Rödder
ICCD
2006
IEEE
84views Hardware» more  ICCD 2006»
14 years 4 months ago
Highly-Guided X-Filling Method for Effective Low-Capture-Power Scan Test Generation
—X-filling is preferred for low-capture-power scan test generation, since it reduces IR-drop-induced yield loss without the need of any circuit modification. However, the effecti...
Xiaoqing Wen, Kohei Miyase, Tatsuya Suzuki, Yuta Y...
ISMVL
2005
IEEE
90views Hardware» more  ISMVL 2005»
14 years 1 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
ARTS
1999
Springer
13 years 11 months ago
Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
Annabelle McIver
IJCAI
1989
13 years 8 months ago
Maximum Entropy in Nilsson's Probabilistic Logic
Nilsson's Probabilistic Logic is a set theoretic mechanism for reasoning with uncertainty. We propose a new way of looking at the probability constraints enforced by the fram...
Thomas B. Kane