2598 search results - page 81 / 520 » The Abstract Immune System Algorithm |
114
Voted
KES
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Invertibility attack is a hostile measure to breach watermarking systems. In this paper, a novel watermarking protocol using a one-way hash function and a check of random...
128
click to vote
PKDD
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. We describe EDRL-MD, an evolutionary algorithm-based system, for learning decision rules from databases. The main novelty of our approach lies in dealing with continuous ...
107
Voted
FSTTCS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
CP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Finding feasible points for which the proof succeeds is a critical issue in safe Branch and Bound algorithms which handle continuous problems. In this paper, we introduce...
121
Voted
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...