1237 search results - page 182 / 248 » Strictness and Totality Analysis |
192
click to vote
HUMO
2007
Springer
16 years 15 days 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...
164
click to vote
SCALESPACE
2007
Springer
16 years 13 days 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...
159
click to vote
TCC
2007
Springer
16 years 13 days 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...
150
click to vote
AICCSA
2006
IEEE
16 years 12 days 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...
186
click to vote
ICPADS
2006
IEEE
16 years 11 days 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...