826 search results - page 90 / 166 » Designing for families |
FORTE
1996
14 years 11 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
ACNS
2010
Springer
14 years 11 months ago
2010
Springer
In this work, we design two-party and multiparty protocols for evaluating multivariate polynomials at participants' inputs with security against a malicious adversary who may ...
122
click to vote
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper considers the task of closed curve filtering for visual tracking. Segmentation-based visual tracking strategies provide the closed curve measurements to filter. This pap...
ESA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We study the problem of designing group-strategyproof costsharing mechanisms. The players report their bids for getting serviced and the mechanism decides a set of player...
104
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Image moments have been widely used for designing robust shape descriptors that are invariant to rigid transformations. In this work, we address the problem of estimating non-rigid...