116 search results - page 15 / 24 » The Essence of the Visitor Pattern |
ENTCS
2008
13 years 7 months ago
2008
In any language designed to express transformations, the notion of rewrite rule is a key feature. Its conciseness as well as its strong theoretical foundations are essential. The ...
ISCC
2006
IEEE
14 years 1 months ago
2006
IEEE
Clustering belongs to the set of mathematical problems which aim at classification of data or objects into related sets or classes. Many different pattern clustering approaches bas...
JCP
2007
13 years 7 months ago
2007
— One problem of classical phase shifting for optical 3D surface reconstruction is the occurrence of ambiguities due to the use of fringe projection. We generally derive a number...
CRYPTO
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
CHI
2004
ACM
14 years 7 months ago
2004
ACM
The Internet has fostered an unconventional and powerful style of collaboration: "wiki" web sites, where every visitor has the power to become an editor. In this paper w...