4565 search results - page 466 / 913 » Time Optimal Self-Stabilizing Algorithms |
146
click to vote
SODA
2000
ACM
15 years 5 months ago
2000
ACM
We present a model that enables us to analyze the running time of an algorithm on a computer with a memory hierarchy with limited associativity, in terms of various cache parameter...
147
click to vote
TPDS
2008
15 years 4 months ago
2008
Abstract-- With increasing richness in features such as personalization of content, web applications are becoming more complex and hence compute intensive. Traditional approaches t...
193
click to vote
IJCV
2010
15 years 2 months ago
2010
While research on articulated human motion and pose estimation has progressed rapidly in the last few years, there has been no systematic quantitative evaluation of competing meth...
140
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
A bit climber using a Gray encoding is guaranteed to converge to a global optimum in fewer than ¢¤£¦¥¨§© evaluations on unimodal 1-D functions and on multi-dimensional sph...
149
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...