4850 search results - page 613 / 970 » Proof and Computation in Geometry |
188
click to vote
GECCO
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In practical applications evaluating a fitness function is frequently subject to noise, i. e., the “true fitness” is disturbed by some random variations. Evolutiona...
162
click to vote
PKC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper, we examine issues related to the construction of identity-based threshold decryption schemes and argue that it is important in practice to design an identi...
189
click to vote
PKC
2004
Springer
16 years 6 days ago
2004
Springer
We present a new undeniable signature scheme which is based on the computation of characters. Our signature scheme offers the advantage of having an arbitrarily short signature. I...
128
click to vote
DATE
2003
IEEE
16 years 5 days ago
2003
IEEE
Given a plant Å and a specification Å , the largest solution of the FSM equation Å ¯ Å Å contains all possible discrete controllers Å . Often we are interested in computin...
159
Voted
LICS
2003
IEEE
16 years 4 days ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...