Sciweavers

4281 search results - page 53 / 857
» How to Disembed a Program
Sort
View
LOPSTR
2000
Springer
13 years 11 months ago
A formal framework for synthesis and verification of logic programs
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
Alessandro Avellone, Mauro Ferrari, Camillo Fioren...
ESANN
2006
13 years 9 months ago
Using distributed genetic programming to evolve classifiers for a brain computer interface
The objective of this paper is to illustrate the application of genetic programming to evolve classifiers for multi-channel time series data. The paper shows how high performance d...
Eva Alfaro-Cid, Anna Esparcia-Alcázar, Ken ...
DELFI
2003
13 years 9 months ago
Automatic Analysis of Programming Assignments
Abstract: In a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication b...
Christoph Beierle, Marjaa Kulaa, Manfred Widera
SLP
1997
89views more  SLP 1997»
13 years 9 months ago
Program Analysis via Graph Reachability
This paper describes how a number of program-analysis problems can be solved by transforming them to graph-reachability problems. Some of the program-analysis problems that are am...
Thomas W. Reps
SLP
1994
118views more  SLP 1994»
13 years 9 months ago
A Simple Program Transformation for Parallelism
Most of the research, to date, on optimizing program transformations for declarative languages has focused on sequential execution strategies. In this paper, we consider a class o...
Saumya K. Debray, Mudita Jain