Sciweavers

200 search results - page 18 / 40
» Projective mad families
Sort
View
GECCO
2003
Springer
108views Optimization» more  GECCO 2003»
14 years 19 days ago
Implicit Parallelism
This paper assumes a search space of fixed-length strings, where the size of the alphabet can vary from position to position. Structural crossover is mask-based crossover, and thu...
Alden H. Wright, Michael D. Vose, Jonathan E. Rowe
CAV
2004
Springer
154views Hardware» more  CAV 2004»
13 years 11 months ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...
CAISE
2008
Springer
13 years 9 months ago
Extended Kaos to Support Variability for Goal Oriented Requirements Reuse
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...
Farida Semmak, Christophe Gnaho, Régine Lal...
PKC
2010
Springer
210views Cryptology» more  PKC 2010»
13 years 9 months ago
Efficient Arithmetic on Hessian Curves
This paper considers a generalized form for Hessian curves. The family of generalized Hessian curves covers more isomorphism classes of elliptic curves. Over a finite filed Fq, it ...
Reza Rezaeian Farashahi, Marc Joye
ICIP
2005
IEEE
14 years 9 months ago
Extracting micro-structural gabor features for face recognition
Robustness and discriminability are two key issues in face recognition. In this paper, we propose a new algorithm which extracts micro-structural Gabor feature to achieve good robu...
Dian Gong, Qiong Yang, Xiaoou Tang, Jianhua Lu