Sciweavers

2362 search results - page 116 / 473
» Programming in Standard ML
Sort
View
122
Voted
PPSN
2000
Springer
15 years 7 months ago
Genetic Programming Bloat without Semantics
To investigate the fundamental causes of bloat, six artificial random binary tree search spaces are presented. Fitness is given by program syntax (the genetic programming genotype)...
William B. Langdon, Wolfgang Banzhaf
156
Voted
PLILP
1995
Springer
15 years 7 months ago
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
Koichi Nakahara, Aart Middeldorp, Tetsuo Ida
129
Voted
ENTCS
2007
112views more  ENTCS 2007»
15 years 3 months ago
Structure and Properties of Traces for Functional Programs
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
Olaf Chitil, Yong Luo
199
Voted
MMSP
2008
IEEE
245views Multimedia» more  MMSP 2008»
15 years 10 months ago
A convex programming approach for color stereo matching
—This paper addresses the problem of dense disparity estimation from a pair of color stereo images. Based on a convex set theoretic formulation, the stereo matching problem is ca...
Wided Miled, Béatrice Pesquet-Popescu, Jean...
117
Voted
WCNC
2008
IEEE
15 years 10 months ago
A Collaborative Quasi-Linear Programming Framework for Ad Hoc Sensor Localization
—In this paper, we propose a collaborative localization scheme which utilizes, in addition to the range estimates to nodes with known locations (anchors), the range estimates bet...
Tao Jia, R. Michael Buehrer