Sciweavers

1515 search results - page 212 / 303
» On the relation of aspects and monads
Sort
View
CRYPTO
2003
Springer
109views Cryptology» more  CRYPTO 2003»
14 years 2 months ago
Weak Key Authenticity and the Computational Completeness of Formal Encryption
Abstract. A significant effort has recently been made to rigorously relate the formal treatment of cryptography with the computational one. A first substantial step in this dire...
Omer Horvitz, Virgil D. Gligor
DFG
2003
Springer
14 years 2 months ago
Inheritance of Business Processes: A Journey Visiting Four Notorious Problems
Abstract. The new millennium is characterized by speed and distribution in every aspect of most business and organization undertaking. Organizations are challenged to bring ideas a...
Wil M. P. van der Aalst
DIGRA
2003
Springer
14 years 2 months ago
As if by Magic: On Harry Potter as a Novel and Computer Game
This paper examines the computer game Harry Potter and the Philosopher’s Stone in relation to the novel with the same title. The analysis focuses on the temporal aspects of the ...
Anna Gunder
ERSHOV
2003
Springer
14 years 2 months ago
Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Senses
Words in the explanatory dictionary have different meanings (senses) described using natural language definitions. If the definitions of two senses of the same word are too simi...
Alexander F. Gelbukh, Grigori Sidorov, Sang-Yong H...
GECCO
2003
Springer
14 years 2 months ago
Optimization Using Particle Swarms with Near Neighbor Interactions
This paper presents a modification of the particle swarm optimization algorithm (PSO) intended to combat the problem of premature convergence observed in many applications of PSO. ...
Kalyan Veeramachaneni, Thanmaya Peram, Chilukuri K...