Sciweavers

2891 search results - page 171 / 579
» More or Less Elaborate
Sort
View
ASIACRYPT
2005
Springer
15 years 11 months ago
Modular Security Proofs for Key Agreement Protocols
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...
Caroline Kudla, Kenneth G. Paterson
COSIT
2005
Springer
111views GIS» more  COSIT 2005»
15 years 11 months ago
Matching Names and Definitions of Topological Operators
In previous empirical work humans did not recognize the definition of most topological operators for regions by their names in two geospatial information systems (GIS). This work d...
Catharina Riedemann
ECSQARU
2005
Springer
15 years 11 months ago
Contextual Discounting of Belief Functions
The Transferable Belief Model is a general framework for managing imprecise and uncertain information using belief functions. In this framework, the discounting operation allows to...
David Mercier, Benjamin Quost, Thierry Denoeux
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
15 years 11 months ago
Fitness inheritance for noisy evolutionary multi-objective optimization
This paper compares the performance of anti-noise methods, particularly probabilistic and re-sampling methods, using NSGA2. It then proposes a computationally less expensive appro...
Lam Thu Bui, Hussein A. Abbass, Daryl Essam
GRID
2005
Springer
15 years 11 months ago
Highly latency tolerant Gaussian elimination
Large latencies over WAN will remain an obstacle to running communication intensive parallel applications on Grid environments. This paper takes one of such applications, Gaussian...
Toshio Endo, Kenjiro Taura