12257 search results - page 240 / 2452 » Analysis of Algorithms |
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Quantum effects are a natural phenomenon and just like evolution, or immune processes, can serve as an inspiration for the design of computing algorithms. This study illustrates ...
131
click to vote
ICIP
2000
IEEE
16 years 3 months ago
2000
IEEE
We describe a three-step algorithm for the analysis of color images of flames, with the objective of analyzing the combustion process and its control parameters indirectly. The al...
119
click to vote
CMSB
2006
Springer
15 years 5 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
COCOON
2009
Springer
15 years 8 months ago
2009
Springer
We provide a smoothed analysis of Hoare’s find algorithm and we revisit the smoothed analysis of quicksort. Hoare’s find algorithm – often called quickselect – is an easy...
193
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...