Sciweavers

10055 search results - page 467 / 2011
» Structured programming using processes
Sort
View
PLPV
2010
ACM
16 years 3 months ago
Arity-generic datatype-generic programming
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...
Stephanie Weirich, Chris Casinghino
GECCO
2005
Springer
131views Optimization» more  GECCO 2005»
16 years 11 days ago
Multipopulation cooperative coevolutionary programming (MCCP) to enhance design innovation
This paper describes the development of an evolutionary algorithm called Multipopulation Cooperative Coevolutionary Programming (MCCP) that extends Genetic Programming (GP) to sea...
Emily M. Zechman, S. Ranji Ranjithan
ETRA
2006
ACM
122views Biometrics» more  ETRA 2006»
16 years 25 days ago
Analyzing individual performance of source code review using reviewers' eye movement
This paper proposes to use eye movements to characterize the performance of individuals in reviewing source code of computer programs. We first present an integrated environment t...
Hidetake Uwano, Masahide Nakamura, Akito Monden, K...
EPIA
1999
Springer
15 years 11 months ago
Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
Miguel Ferrand, João Alexandre Leite, Am&ia...
PODS
1989
ACM
129views Database» more  PODS 1989»
15 years 11 months ago
The Alternating Fixpoint of Logic Programs with Negation
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
Allen Van Gelder