1631 search results - page 56 / 327 » Uniform Distributed Synthesis |
HIP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We would like to quantify the assurance contained in an authentication secret. For instance, how much assurance does a customer convey to a bank by revealing that his Per...
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Linear Feedback Shift Registers (LFSRs) have always received considerable attention in computer science especially in coding theory and in cryptography. The scope of applications ...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
In this paper we consider the problem of temporal texture modeling and synthesis. A temporal texture (or dynamic texture) is seen as the output of a dynamical system driven by whit...
SIBGRAPI
2000
IEEE
14 years 1 days ago
2000
IEEE
We present a method to measure reflectance and texture of surfaces in a one step process. For later use in digital image synthesis it is mandatory to separate the gathered intensi...