Sciweavers

4167 search results - page 237 / 834
» Evolutionary functional testing
Sort
View
202
Voted
APPROX
2011
Springer
284views Algorithms» more  APPROX 2011»
14 years 3 months ago
On Approximating the Number of Relevant Variables in a Function
In this work we consider the problem of approximating the number of relevant variables in a function given query access to the function. Since obtaining a multiplicative factor ap...
Dana Ron, Gilad Tsur
FOAL
2009
ACM
15 years 10 months ago
A type system for functional traversal-based aspects
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
Bryan Chadwick, Karl J. Lieberherr
92
Voted
GECCO
2003
Springer
114views Optimization» more  GECCO 2003»
15 years 8 months ago
Learning the Ideal Evaluation Function
Abstract. Designing an adequate fitness function requiressubstantial knowledge of a problem and of features that indicate progress towards a solution. Coevolution takes the human ...
Edwin D. de Jong, Jordan B. Pollack
DAWAK
2008
Springer
15 years 4 months ago
Top_Keyword: An Aggregation Function for Textual Document OLAP
For more than a decade, researches on OLAP and multidimensional databases have generated methodologies, tools and resource management systems for the analysis of numeric data. With...
Franck Ravat, Olivier Teste, Ronan Tournier, Gille...
134
Voted
TPHOL
2009
IEEE
15 years 10 months ago
Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
Andreas Lochbihler