6800 search results - page 230 / 1360 » Testing with Functions as Specifications |
160
click to vote
IJRR
2011
15 years 58 min ago
2011
This paper presents a novel method for online and incremental appearance-based localization and mapping in a highly dynamic environment. Using position-invariant robust features (...
159
click to vote
FOAL
2009
ACM
15 years 11 months ago
2009
ACM
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...
107
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Designing an adequate fitness function requiressubstantial knowledge of a problem and of features that indicate progress towards a solution. Coevolution takes the human ...
144
click to vote
DAWAK
2008
Springer
15 years 6 months ago
2008
Springer
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...
151
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
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...