3731 search results - page 250 / 747 » cases 2006 |
149
click to vote
ECCC
2006
15 years 6 months ago
2006
In this paper we ask the question whether the extended Frege proof system EF satisfies a weak version of the deduction theorem. We prove that if this is the case, then complete dis...
169
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We propose a definition for the entropy of capacities defined on lattices. Classical capacities are monotone set functions and can be seen as a generalization of probability mea...
155
click to vote
CSDA
2007
15 years 6 months ago
2007
An efficient estimate for the change point in the hazard function is obtained. This is based on a Bayesian estimator which uses equations concerning the parameters of a recently ...
175
click to vote
MCS
2006
Springer
15 years 6 months ago
2006
Springer
A fractional step lattice Boltzmann scheme is presented to greatly improve the stability of the lattice Boltzmann method (LBM) in modelling incompressible flows at high Reynolds n...
215
click to vote
IJON
2008
15 years 5 months ago
2008
The problem of inductive supervised learning is discussed in this paper within the context of multi-objective (MOBJ) optimization. The smoothness-based apparent (effective) comple...