Sciweavers

379 search results - page 17 / 76
» The Graham-Knowlton Problem Revisited
Sort
View
ESOP
2012
Springer
12 years 3 months ago
The Call-by-Need Lambda Calculus, Revisited
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
Stephen Chang, Matthias Felleisen
IWINAC
2005
Springer
14 years 1 months ago
GA-Selection Revisited from an ES-Driven Point of View
Whereas the selection concept of Genetic Algorithms (GAs) and Genetic Programming (GP) is basically realized by the selection of above-average parents for reproduction, Evolution S...
Michael Affenzeller, Stefan Wagner 0002, Stephan M...
CPM
2003
Springer
68views Combinatorics» more  CPM 2003»
14 years 24 days ago
Multiple Genome Alignment: Chaining Algorithms Revisited
Given n fragments from k > 2 genomes, we will show how to find an optimal chain of colinear non-overlapping fragments in time O(n logk−2 n log log n) and space O(n logk−2 n...
Mohamed Ibrahim Abouelhoda, Enno Ohlebusch
SWAT
2010
Springer
294views Algorithms» more  SWAT 2010»
13 years 5 months ago
Bin Packing with Fixed Number of Bins Revisited
As Bin Packing is NP-hard already for k = 2 bins, it is unlikely to be solvable in polynomial time even if the number of bins is a fixed constant. However, if the sizes of the item...
Klaus Jansen, Stefan Kratsch, Dániel Marx, ...
ISPW
2006
IEEE
14 years 1 months ago
Project Replayer - An Investigation Tool to Revisit Processes of Past Projects
In order to help knowledge acquirement and accumulation from past experiences, we propose a KFC (Knowledge Feedback Cycle) framework among engineers and researchers. Three tools (E...
Keita Goto, Noriko Hanakawa, Hajimu Iida