44651 search results - page 73 / 8931 » A Generalization of the Least General Generalization |
153
click to vote
TAMC
2009
Springer
16 years 27 days ago
2009
Springer
We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...
123
click to vote
KCAP
2009
ACM
16 years 27 days ago
2009
ACM
Knowledge extraction (KE) efforts have often used corpora of heavily edited writing and sources written to provide the desired knowledge (e.g., newspapers or textbooks). However,...
168
click to vote
GLOBECOM
2008
IEEE
16 years 25 days ago
2008
IEEE
—In this paper, we manage to prove the log-concavity of the generalized Marcum Q-function Qν (a, b) with respect to its order ν on [1, ∞). The proof relies on a powerful math...
155
click to vote
RTSS
2007
IEEE
16 years 19 days ago
2007
IEEE
We consider the issue of deadline tardiness under global multiprocessor scheduling algorithms. We present a general tardiness-bound derivation that is applicable to a wide variety...
166
click to vote
IDEAL
2007
Springer
16 years 16 days ago
2007
Springer
The dependence of the classification error on the size of a bagging ensemble can be modeled within the framework of Monte Carlo theory for ensemble learning. These error curves ar...