1847 search results - page 148 / 370 » Hybrid Functional Interpretations |
173
click to vote
NIPS
1992
15 years 7 months ago
1992
We demonstrate in this paper how certain forms of rule-based knowledge can be used to prestructure a neural network of normalized basis functions and give a probabilistic interpre...
161
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Interpreting an image as a function on a compact subset of the Euclidean plane, we get its scale-space by diffusion, spreading the image over the entire plane. This generates a 1-...
256
click to vote
CC
2009
Springer
16 years 6 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
157
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
165
click to vote
COCO
2001
Springer
15 years 10 months ago
2001
Springer
Restricting the search space {0, 1}n to the set of truth tables of “easy” Boolean functions on log n variables, as well as using some known hardness-randomness tradeoffs, we ...