1237 search results - page 182 / 248 » Strictness and Totality Analysis |
186
click to vote
HUMO
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. In this paper we present a novel tool for body-part segmentation and tracking in the context of multiple camera systems. Our goal is to produce robust motion cues over ti...
149
click to vote
SCALESPACE
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. There is an increasing demand to develop image processing tools for the filtering and analysis of matrix-valued data, so-called matrix fields. In the case of scalar-val...
148
click to vote
TCC
2007
Springer
15 years 12 months ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
142
click to vote
AICCSA
2006
IEEE
15 years 12 months ago
2006
IEEE
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
175
click to vote
ICPADS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we address the problem of cross-layer optimization in medium access control (MAC) and network layers for wireless multicasting with multiple cooperative or competit...