875 search results - page 27 / 175 » A New Approach for Testing Properties of Discrete Distributi... |
163
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
126
click to vote
AI
2006
Springer
15 years 8 months ago
2006
Springer
We propose LAZY arc-reversal with variable elimination (LAZY-ARVE) as a new approach to probabilistic inference in Bayesian networks (BNs). LAZY-ARVE is an improvement upon LAZY ar...
146
click to vote
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper proposes a cache hierarchy that enables Web search engines to efficiently process user queries. The different caches in the hierarchy are used to store pieces of data w...
159
click to vote
AIME
2009
Springer
15 years 8 months ago
2009
Springer
We use the concept of conditional mutual information (MI) to approach problems involving the selection of variables in the area of medical diagnosis. Computing MI requires estimate...
142
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Recent studies have shown that various models can explain the emergence of complex networks, such as scale-free and small-world networks. This paper presents a different model to...