891 search results - page 110 / 179 » Full Abstraction for PCF |
SBRN
2000
IEEE
14 years 5 days ago
2000
IEEE
d Articles >> Table of Contents >> Abstract VI Brazilian Symposium on Neural Networks (SBRN'00) p. 24 Adaptation of Parameters of BP Algorithm Using Automata Hamid...
CL
2000
Springer
14 years 4 days ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
ECAI
2000
Springer
14 years 4 days ago
2000
Springer
Abstract. When a person taps a foot in time with a piece of music, they are performing beat tracking. Beat tracking is fundamental to the understanding of musical structure, and th...
APSEC
1999
IEEE
14 years 3 days ago
1999
IEEE
One of the characteristics of large software systems is that they evolve over time. Evolution patterns include modifications related to the implementation, interfaces and the over...
CRYPTO
1998
Springer
14 years 1 days ago
1998
Springer
ded abstract of this paper appears in Advances in Cryptology { Crypto 98 Proceedings, Lecture Notes in Computer Science Vol. 1462, H. Krawczyk ed., Springer-Verlag, 1998. This is t...