331 search results - page 49 / 67 » HOLCF: Higher Order Logic of Computable Functions |
178
click to vote
SFP
2004
15 years 8 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...
165
click to vote
TCC
2005
Springer
16 years 1 days 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...
181
click to vote
GECCO
2010
Springer
15 years 6 months 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...
223
click to vote
NAR
2002
15 years 6 months 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...
205
click to vote
WCNC
2010
IEEE
15 years 10 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...