1743 search results - page 95 / 349 » Generalized Modal Satisfiability |
DCC
2003
IEEE
16 years 10 days ago
2003
IEEE
We address the problem of designing optimal quantizers for distributed source coding. The generality of our formulation includes both the symmetric and asymmetric scenarios, toget...
ICTAI
1994
IEEE
15 years 4 months ago
1994
IEEE
An object-oriented neural network simulator kernel is presented. It is based on a general mathematical model for arbitrary feedforward nets. We propose a C++ implementation of thi...
87
Voted
NIPS
2000
15 years 2 months ago
2000
We study the problem of combining the outcomes of several different classifiers in a way that provides a coherent inference that satisfies some constraints. In particular, we deve...
100
click to vote
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
74
Voted
CSDA
2008
15 years 25 days ago
2008
We present a semi-parametric method for testing mixing distributions in the mixed Poisson model. The proposed method, which is based on the generalized method of moments, does not...