4609 search results - page 372 / 922 » Automatic Generation of Sigma-Protocols |
158
click to vote
AINA
2009
IEEE
15 years 12 months ago
2009
IEEE
— A user authentication system using "unclear images" as pass-images has been proposed, in which only legitimate users can understand their meaning by viewing the origi...
220
click to vote
ACIVS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Computer vision algorithms are currently developed by looking up the available operators from the literature and then arranging those operators such that the desired task...
169
click to vote
IEEEPACT
1998
IEEE
15 years 11 months ago
1998
IEEE
We study in this paper the problem of polyhedron scanning which appears for example when generating code for transformed loop nests in automatic parallelization. After a review of...
221
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
Abstract—We present the Instruction Set Description Language, ISDL, a machine description language used to describe target architectures to a retargetable compiler. The features ...
191
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...