3885 search results - page 544 / 777 » Transformations for Write-All-with-Collision Model |
173
click to vote
APN
2000
Springer
15 years 11 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
209
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...
169
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
We generalize basic signal processing tools such as downsampling, upsampling, and filters to irregular connectivity triangle meshes. This is accomplished through the design of a ...
171
click to vote
LCPC
1999
Springer
15 years 11 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
180
click to vote
SCALESPACE
1999
Springer
15 years 11 months ago
1999
Springer
The classical morphological segmentation paradigm is based on the watershed transform, constructed by flooding the gradient image seen as a topographic surface. For flooding a to...