331 search results - page 26 / 67 » HOLCF: Higher Order Logic of Computable Functions |
81
Voted
MFCS
1993
Springer
15 years 4 months ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...
120
click to vote
CVPR
2004
IEEE
16 years 2 months ago
2004
IEEE
We present Propagation Networks (P-Nets), a novel approach for representing and recognizing sequential activities that include parallel streams of action. We represent each activi...
102
Voted
CSREAESA
2004
15 years 1 months ago
2004
- The model of a simple perceptron using phase-encoded inputs and complex-valued weights is presented. Multilayer two-input and three-input complex-valued neurons (CVNs) are implem...
117
click to vote
TC
2010
14 years 10 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
120
Voted
AHS
2006
IEEE
15 years 6 months ago
2006
IEEE
To increase the flexibility of single-chip evolvable hardware systems, we explore possibilities of systems with the evolutionary algorithm implemented in software on an onchip pr...