556 search results - page 83 / 112 » Generic Properties of Datatypes |
SEMCO
2007
IEEE
14 years 1 months ago
2007
IEEE
Human visual recognition is based largely on shape, yet effectively using shapes in natural image retrieval is a challenging task. Most existing methods are based on the geometric...
ACISP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Digital signatures are often proven to be secure in the random oracle model while hash functions deviate more and more from this idealization. Liskov proposed to model a ...
COSIT
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...
CSCLP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...