1403 search results - page 122 / 281 » Quantitative Interprocedural Analysis |
CLEAR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper presents two approaches to the problem of simultaneous tracking of several people in low resolution sequences from multiple calibrated cameras. Spatial redunda...
SIGMETRICS
2006
ACM
14 years 4 months ago
2006
ACM
In this paper, we present a new metric, Hard-Fault Architectural Vulnerability Factor (H-AVF), to allow designers to more effectively compare alternate hard-fault tolerance scheme...
ICRA
2005
IEEE
14 years 4 months ago
2005
IEEE
Abstract— We are developing a swarm-intelligent inspection system based on a swarm of autonomous, miniature robots, using only on-board, local sensors. To estimate intrinsic adva...
IMC
2004
ACM
14 years 3 months ago
2004
ACM
In this paper, we take the sample-path approach in analyzing the asymptotic behavior of single-hop bandwidth estimation under bursty cross-traffic and show that these results are ...
MCS
2001
Springer
14 years 2 months ago
2001
Springer
One of the main factors affecting the effectiveness of ECOC methods for classification is the dependence among the errors of the computed codeword bits. We present an extensive ...