2069 search results - page 102 / 414 » Synthesizing |
158
click to vote
ESANN
2008
15 years 7 months ago
2008
We propose a digital neuron model suitable for evolving and growing heterogeneous spiking neural networks on FPGAs using a piecewise linear approximation of the Quadratic Integrate...
228
click to vote
STAIRS
2008
15 years 7 months ago
2008
This paper presents an extensive evaluation, on artificial datasets, of EDY, an unsupervised algorithm for automatically synthesizing a Structured Hidden Markov Model (S-HMM) from ...
168
click to vote
AAAI
1990
15 years 7 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
164
Voted
SPLC
2007
15 years 7 months ago
2007
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
DEBU
2008
15 years 6 months ago
2008
This paper discusses the notion of protocol compatibility between Web services, and reviews a number of techniques for detecting incompatibilities and for synthesizing adapters fo...