1001 search results - page 17 / 201 » Testing Formal Dialectic |
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
JMLR
2012
11 years 10 months ago
2012
We propose a new method for comparing learning algorithms on multiple tasks which is based on a novel non-parametric test that we call the Poisson binomial test. The key aspect of...
ICAS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
ECBS
2005
IEEE
14 years 1 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
PADL
2005
Springer
14 years 1 months ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...