Sciweavers

2362 search results - page 116 / 473
» Programming in Standard ML
Sort
View
PPSN
2000
Springer
15 years 10 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
PLILP
1995
Springer
15 years 10 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
ENTCS
2007
112views more  ENTCS 2007»
15 years 6 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
MMSP
2008
IEEE
245views Multimedia» more  MMSP 2008»
16 years 24 days 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...
WCNC
2008
IEEE
16 years 23 days 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