5255 search results - page 673 / 1051 » Formal Methods for Privacy |
158
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Hausdorff distance (HD) and its modifications provides one of the best approaches for matching of binary images. This paper proposes a formalism generalizing almost all of these H...
186
click to vote
IGARSS
2010
15 years 4 months ago
2010
This paper considers sampling and reconstruction theory with application to scatterometer image reconstruction. Backscatter imaging is approached as the inversion of a noisy apert...
207
Voted
SIAMCOMP
2011
14 years 9 months ago
2011
The Gibbard-Satterthwaite theorem states that every non-dictatorial election rule among at least three alternatives can be strategically manipulated. We prove a quantitative versi...
196
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
183
Voted
UML
2005
Springer
16 years 8 days ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...