Sciweavers

3257 search results - page 415 / 652
» Some Results on Effective Randomness
Sort
View
TACS
1994
Springer
15 years 10 months ago
Full Abstraction for PCF
traction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Loyola University Chicago and Pasquale Malacaria4 Queen Mary and Westfield College An intensional m...
Samson Abramsky, Pasquale Malacaria, Radha Jagadee...
CEC
2007
IEEE
15 years 10 months ago
Development and validation of different hybridization strategies between GA and PSO
In this paper a new class of hybridization strategies between GA and PSO is presented and validated. The Genetical Swarm Optimization (GSO) approach is presented here with respect ...
A. Gandelli, F. Grimaccia, Marco Mussetta, Paola P...
SP
2010
IEEE
212views Security Privacy» more  SP 2010»
15 years 10 months ago
State of the Art: Automated Black-Box Web Application Vulnerability Testing
—Black-box web application vulnerability scanners are automated tools that probe web applications for security vulnerabilities. In order to assess the current state of the art, w...
Jason Bau, Elie Bursztein, Divij Gupta, John C. Mi...
DNA
2006
Springer
110views Bioinformatics» more  DNA 2006»
15 years 10 months ago
DNA Hypernetworks for Information Storage and Retrieval
Content-addressability is a fundamental feature of human memory underlying many associative information retrieval tasks. In contrast to location-based memory devices, content-addre...
Byoung-Tak Zhang, Joo-Kyung Kim
ECCV
2010
Springer
15 years 9 months ago
Learning PDEs for Image Restoration via Optimal Control
Partial differential equations (PDEs) have been successfully applied to many computer vision and image processing problems. However, designing PDEs requires high mathematical skill...