Sciweavers

8766 search results - page 655 / 1754
» Functional logic programming
Sort
View
EUROGP
2009
Springer
130views Optimization» more  EUROGP 2009»
16 years 27 days ago
One-Class Genetic Programming
One-class classification naturally only provides one-class of exemplars, the target class, from which to construct the classification model. The one-class approach is constructed...
Robert Curry, Malcolm I. Heywood
ICFP
2010
ACM
15 years 7 months ago
A fresh look at programming with names and binders
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
Nicolas Pouillard, François Pottier
PASTE
2010
ACM
15 years 4 months ago
Property-aware program sampling
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...
Harish Narayanappa, Mukul S. Bansal, Hridesh Rajan
PEPM
2009
ACM
16 years 3 months ago
Program transformation for numerical precision
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
Matthieu Martel
IROS
2007
IEEE
97views Robotics» more  IROS 2007»
16 years 19 days ago
Meld: A declarative approach to programming ensembles
Abstract— This paper presents Meld, a programming language for modular robots, i.e., for independently executing robots where inter-robot communication is limited to immediate ne...
Michael P. Ashley-Rollman, Seth Copen Goldstein, P...