Sciweavers

2899 search results - page 243 / 580
» Engineering Optimization Using a Simple Evolutionary Algorit...
Sort
View
149
Voted
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
16 years 27 days ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz
147
Voted
GECCO
2006
Springer
181views Optimization» more  GECCO 2006»
15 years 7 months ago
Particle swarm with speciation and adaptation in a dynamic environment
This paper describes an extension to a speciation-based particle swarm optimizer (SPSO) to improve performance in dynamic environments. The improved SPSO has adopted several prove...
Xiaodong Li, Jürgen Branke, Tim Blackwell
VRST
2000
ACM
15 years 8 months ago
Message caching for local and global resource optimization in shared virtual environments
The use of Shared Virtual Environments is growing in areas such as multi-player video games, military and industrial training, and collaborative design and engineering. At the sam...
Helmuth Trefftz, Ivan Marsic
ICDE
1995
IEEE
139views Database» more  ICDE 1995»
16 years 5 months ago
Set-Oriented Mining for Association Rules in Relational Databases
We describe set-oriented algorithms for mining association rules. Such algorithms imply performing multiple joins and may appear to be inherently less escient than special-purpose...
Maurice A. W. Houtsma, Arun N. Swami
126
Voted
CEC
2010
IEEE
15 years 5 months ago
Elitist Artificial Bee Colony for constrained real-parameter optimization
Abstract-- A novel algorithm to solve constrained realparameter optimization problems, based on the Artificial Bee Colony algorithm is introduced in this paper. The operators used ...
Efrén Mezura-Montes, Ramiro Ernesto Velez-K...