2016 search results - page 59 / 404 » Megamaps: Construction and Examples |
117
click to vote
IWFM
1998
15 years 5 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
134
click to vote
IWFM
1998
15 years 5 months ago
1998
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension ( ), restriction ( ), removal ...
139
click to vote
INTERACT
1997
15 years 5 months ago
1997
ABSTRACT This paper builds on an existing model of human-computer interaction that focuses on the information structures employed as distributed information resources by users in d...
144
click to vote
NIPS
1997
15 years 5 months ago
1997
A new algorithm is presented which approximates the perceived visual similarity between images. The images are initially transformed into a feature space which captures visual str...
102
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower...