2409 search results - page 215 / 482 » Building Components from Functions |
164
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...
189
click to vote
NIPS
2003
15 years 8 months ago
2003
We present a system to recognize phrases based on perceptrons, and a global online learning algorithm to train them together. The recognition strategy applies learning in two laye...
172
click to vote
FOGA
1994
15 years 8 months ago
1994
An important goal of the theory of genetic algorithms is to build predictive models of how well genetic algorithms are expected to perform, given a representation, a fitness lands...
155
click to vote
ETS
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper explores the concept of design diversity redundancy applied to mixed-signal (MS) circuit blocks, as a proposal to increase system reliability. Three different implement...
173
click to vote
MCSS
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we consider systems which are globally completly observable and output-to-state stable. The former property guarantees the existence of coordinates such that the dyna...