331 search results - page 49 / 67 » HOLCF: Higher Order Logic of Computable Functions |
110
Voted
SFP
2004
15 years 1 months ago
2004
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
TCC
2005
Springer
15 years 6 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
112
Voted
GECCO
2010
Springer
15 years 20 days ago
2010
Springer
To complement standard fitness functions, we propose "Fitness Importance" (FI) as a novel meta-heuristic for online learning systems. We define FI and show how it can be...
133
Voted
NAR
2002
15 years 4 days ago
2002
The Kyoto Encyclopedia of Genes and Genomes (KEGG) is the primary database resource of the Japanese GenomeNet service (http://www.genome.ad.jp/) for understanding higher order fun...
122
Voted
WCNC
2010
IEEE
15 years 4 months ago
2010
IEEE
—The selection of high-throughput routes is a key element towards improving the performance of wireless multihop networks. While several routing metrics have been proposed in the...