12257 search results - page 465 / 2452 » Analysis of Algorithms |
143
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
135
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
To demonstrate the performance of color image processing algorithms, it is desirable to be able to accurately display color images in archival publications. Our previous work [1],...
150
click to vote
IPMI
2005
Springer
16 years 5 months ago
2005
Springer
Spherical navigators are an attractive approach to motion compensation in Magnetic Resonance Imaging. Because they can be acquired quickly, spherical navigators have the potential ...
113
click to vote
ATC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we develop an algorithm that may be used as a stepping-stone detection tool. Our approach is based on analyzing correlations between the cumulative number ...
148
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Many real-world optimization problems are dynamic in nature. The interest in the Evolutionary Algorithms (EAs) community in applying EA variants to dynamic optimization problems h...