3320 search results - page 401 / 664 » Heuristics for the Phylogeny Problem |
160
click to vote
HIPEAC
2010
Springer
16 years 3 months ago
2010
Springer
We address the problem of performance and power-efficient thread allocation in a CMP. To that end, based on analytical model, we introduce a parameterized performance/power metric ...
144
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
164
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
Assigning bug reports to individual developers is typically a manual, time-consuming, and tedious task. In this paper, we present a framework for automated assignment of bug-fixi...
191
click to vote
WAIM
2009
Springer
16 years 1 months ago
2009
Springer
Ontology has been widely adopted as the basis of knowledge sharing and knowledge-based public services. However, ontology construction is a big challenge, especially in collaborati...
174
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...