Sciweavers

391 search results - page 4 / 79
» Automatic programming with semantic streams
Sort
View
ICLP
2010
Springer
14 years 13 days ago
Program analysis for code duplication in logic programs
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...
Celine Dandois
ICFP
2007
ACM
14 years 8 months ago
Stream fusion: from lists to streams to nothing at all
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...
Duncan Coutts, Roman Leshchinskiy, Don Stewart
VMCAI
2005
Springer
14 years 2 months ago
An Overview of Semantics for the Validation of Numerical Programs
Interval computations, stochastic arithmetic, automatic diļ¬€erentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
Matthieu Martel
IUI
2000
ACM
14 years 27 days ago
Enhancing information retrieval by automatic acquisition of textual relations using genetic programming
We have explored a novel method to find textual relations in electronic documents using genetic programming and semantic networks. This can be used for enhancing information retri...
Agneta Bergström, Patricija Jaksetic, Peter N...
ICDCS
2002
IEEE
14 years 1 months ago
D-Stampede: Distributed Programming System for Ubiquitous Computing
We focus on an important problem in the space of ubiquitous computing, namely, programming support for the distributed heterogeneous computing elements that make up this environme...
Sameer Adhikari, Arnab Paul, Umakishore Ramachandr...