3441 search results - page 614 / 689 » Intelligent Computation of Presentation Documents |
157
click to vote
GECCO
2009
Springer
16 years 26 days ago
2009
Springer
We present a probabilistic formulation of UCS (a sUpervised Classifier System). UCS is shown to be a special case of mixture of experts where the experts are learned independentl...
153
click to vote
IDA
2009
Springer
16 years 26 days ago
2009
Springer
This work presents a novel robust method for a two-channel multiple Time Difference of Arrival (TDOA) estimation. The method is based on a recursive frequency-domain Independent C...
173
click to vote
IWANN
2009
Springer
16 years 25 days ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
185
click to vote
TPHOL
2008
IEEE
16 years 20 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
189
click to vote
VTS
2008
IEEE
16 years 20 days ago
2008
IEEE
Timing-related defects are becoming increasingly important in nanometer technology designs. Small delay variations induced by crosstalk, process variations, powersupply noise, as ...