2673 search results - page 72 / 535 » Guided Static Analysis |
115
Voted
COR
2010
15 years 26 days ago
2010
We present a search space analysis and its application in improving local search algorithms for the graph coloring problem. Using a classical distance measure between colorings, w...
89
Voted
APLAS
2009
ACM
15 years 7 months ago
2009
ACM
We present a simple algorithmic extension of the classical call-strings approach to mitigate substantial performance degradation caused by spurious interprocedural cycles. Spuriou...
113
click to vote
ESCIENCE
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents quantitative comparison of the performance of different methods for selecting the guide particle for multi-objective particle swarm optimization (MOPSO). Two p...
93
Voted
ACL
2007
15 years 2 months ago
2007
We present a general framework to incorporate prior knowledge such as heuristics or linguistic features in statistical generative word alignment models. Prior knowledge plays a ro...
ICIP
1995
IEEE
16 years 2 months ago
1995
IEEE
The problem to segment an image sequence in terms of regions characterized by a coherent motion is among the most challenging in image sequence analysis. This paper proposes a new...