Sciweavers

2194 search results - page 189 / 439
» Improving HLRTA*( k )
Sort
View
GECCO
2010
Springer
165views Optimization» more  GECCO 2010»
15 years 3 months ago
Evolving robust controller parameters using covariance matrix adaptation
In this paper, the advantages of introducing an additional amount of tests when evolving parameters for specific purposes is discussed. A set of optimal PID-controller parameters...
Gerulf K. M. Pedersen, Martin V. Butz
120
Voted
ASPDAC
2008
ACM
92views Hardware» more  ASPDAC 2008»
15 years 3 months ago
Decomposition based approach for synthesis of multi-level threshold logic circuits
Scaling is currently the most popular technique used to improve performance metrics of CMOS circuits. This cannot go on forever because the properties that are responsible for the ...
Tejaswi Gowda, Sarma B. K. Vrudhula
ICALP
2010
Springer
15 years 3 months ago
Covering and Packing in Linear Space
Abstract. Given a family of subsets of an n-element universe, the kcover problem asks whether there are k sets in the family whose union contains the universe; in the k-packing pro...
Andreas Björklund, Thore Husfeldt, Petteri Ka...
BIOID
2008
157views Biometrics» more  BIOID 2008»
15 years 3 months ago
Modeling Marginal Distributions of Gabor Coefficients: Application to Biometric Template Reduction
Abstract. Gabor filters have demonstrated their effectiveness in automatic face recognition. However, one drawback of Gabor-based face representations is the huge amount of data th...
Daniel González-Jiménez, José...
CAV
2008
Springer
96views Hardware» more  CAV 2008»
15 years 3 months ago
Implied Set Closure and Its Application to Memory Consistency Verification
Hangal et. al. [3] have developed a procedure to check if an instance of the execution of a shared memory multiprocessor program, is consistent with the Total Store Order (TSO) mem...
Surender Baswana, Shashank K. Mehta, Vishal Powar