Sciweavers

200 search results - page 18 / 40
» Projective mad families
Sort
View
GECCO
2003
Springer
108views Optimization» more  GECCO 2003»
15 years 5 months 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»
15 years 3 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
15 years 1 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»
15 years 1 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
16 years 1 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