2656 search results - page 23 / 532 » Design and analysis of algorithms reconsidered |
177
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
141
click to vote
ICIP
2000
IEEE
16 years 7 months ago
2000
IEEE
We introduce a new wavelet image coder which is the forward-adaptive counterpart of the state-of-the-art backward-adaptive Estimation-Quantization coder. The variance field associ...
164
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—The subject of this work is the patrolling of an environment with the aid of a team of autonomous agents. We consider both the design of open-loop trajectories with optimal prop...
171
click to vote
SASO
2007
IEEE
16 years 7 days ago
2007
IEEE
Adaptive security is based on the observation that the security requirements of a system or service heavily depend on the environment in which they operate and should therefore be...
174
click to vote
GRID
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we present a resource conscious dynamic scheduling strategy for handling large volume computationally intensive loads in a Grid system involving multiple sources an...