5030 search results - page 205 / 1006 » cases 2007 |
195
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
In this paper, we consider simple classes of nonlinear systems and prove that basic questions related to their stability and controllability are either undecidable or computationa...
170
click to vote
MVA
2002
15 years 6 months ago
2002
1 In this paper, we propose a new method for the removal of view-disturbing waterdrops from images taken with multiple cameras. In rainy days, it is often the case that scenes take...
206
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper deals with the self-stabilizing leader election algorithm of Xu and Srimani [10] that finds a leader in a tree graph. The worst case execution time for this algorithm ...
181
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
204
click to vote
HPCC
2007
Springer
16 years 1 months ago
2007
Springer
Advance Reservations(AR) make it possible to guarantee the QoS of Grid applications by reserving a particular resource capability over a defined time interval on local resources. H...