4565 search results - page 493 / 913 » Time Optimal Self-Stabilizing Algorithms |
164
Voted
DLOG
2007
15 years 6 months ago
2007
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
147
Voted
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In the past decade, moving horizon estimation (MHE) has emerged as a powerful technique for estimating the state of a dynamical system in the presence of nonlinearities and disturb...
163
Voted
SIAMSC
2010
14 years 11 months ago
2010
The fast Gauss transform allows for the calculation of the sum of N Gaussians at M points in O(N + M) time. Here, we extend the algorithm to a wider class of kernels, motivated by ...
133
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Optimal resource scheduling in multiagent systems is a computationally challenging task, particularly when the values of resources are not additive. We consider the combinatorial ...
130
click to vote
EWRL
2008
15 years 5 months ago
2008
If one possesses a model of a controlled deterministic system, then from any state, one may consider the set of all possible reachable states starting from that state and using any...