Sciweavers

2199 search results - page 354 / 440
» Adapting Privacy-Preserving Computation to the Service Provi...
Sort
View
115
Voted
ENGL
2007
103views more  ENGL 2007»
15 years 18 days ago
Fault Diagnosis of Manufacturing Processes via Genetic Algorithm Approach
—Instantaneous detection and diagnosis of various faults and break-downs in industrial processes is required to reduce production losses and damage to equipments. A solved knowle...
Stefania Gallova
SP
2009
IEEE
114views Security Privacy» more  SP 2009»
15 years 7 months ago
Formally Certifying the Security of Digital Signature Schemes
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
Santiago Zanella Béguelin, Gilles Barthe, B...
E4MAS
2005
Springer
15 years 6 months ago
An Environment-Based Methodology to Design Reactive Multi-agent Systems for Problem Solving
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...
Olivier Simonin, Franck Gechter
97
Voted
CEC
2009
IEEE
15 years 5 months ago
LoCost: A spatial social network algorithm for multi-objective optimisation
—Particle Swarm Optimisation (PSO) is increasingly being applied to optimisation of problems in engineering design and scientific investigation. While readily adapted to singleo...
Andrew Lewis
112
Voted
3DPVT
2006
IEEE
229views Visualization» more  3DPVT 2006»
15 years 4 months ago
Fast and Efficient Dense Variational Stereo on GPU
Thanks to their high performance and programmability, the latest graphics cards can now be used for scientific purpose. They are indeed very efficient parallel Single Instruction ...
Julien Mairal, Renaud Keriven, Alexandre Chariot