11739 search results - page 135 / 2348 » Slideshow: functional presentations |
TPHOL
1995
IEEE
14 years 1 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
GECCO
2010
Springer
14 years 1 months ago
2010
Springer
This paper presents the result for Simultaneous Perturbation Stochastic Approximation (SPSA) on the BBOB 2010 noisy testbed. SPSA is a stochastic gradient approximation strategy w...
GLOBECOM
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract—Fingerprinting localization techniques provide reliable location estimates and enable the development of location aware applications especially for indoor environments, ...
TREC
2003
13 years 11 months ago
2003
The lack of discipline and consistency in gene naming poses a formidable challenge to researchers in locating relevant information sources in the genomics literature. The research...
ICFP
2010
ACM
13 years 11 months ago
2010
ACM
We present a case-study of using OCaml within a large product development project, focussing on both the technical and nontechnical issues that arose as a result. We draw comparis...