2226 search results - page 339 / 446 » Computable Analysis via Representations |
158
click to vote
SEFM
2007
IEEE
16 years 21 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
201
click to vote
SMI
2007
IEEE
16 years 21 days ago
2007
IEEE
In this paper, we propose a new algorithm for the fundamental problem of reconstructing surfaces from a large set of unorganized 3D data points. The local shapes of the surface ar...
157
click to vote
COCO
2007
Springer
16 years 18 days ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
170
click to vote
SCALESPACE
2007
Springer
16 years 17 days ago
2007
Springer
In clinical applications where structural asymmetries between homologous shapes have been correlated with pathology, the questions of definition and quantification of ‘asymmetr...
161
click to vote
TCC
2007
Springer
16 years 16 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...