44651 search results - page 8770 / 8931 » A Generalization of the Least General Generalization |
185
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
238
click to vote
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
The field of information retrieval still strives to develop models which allow semantic information to be integrated in the ranking process to improve performance in comparison to...
185
click to vote
CODES
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...
198
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In the classic Bayesian restless multi-armed bandit (RMAB) problem, there are N arms, with rewards on all arms evolving at each time as Markov chains with known parameters. A play...
199
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We present a combinatorial characterization of the Bethe entropy function of a factor graph, such a characterization being in contrast to the original, analytical, definition of th...