Sciweavers

1086 search results - page 179 / 218
» Jug measuring: Algorithms and complexity
Sort
View
GECCO
2005
Springer
142views Optimization» more  GECCO 2005»
15 years 3 months ago
Genetic programming: parametric analysis of structure altering mutation techniques
We hypothesize that the relationship between parameter settings, speci cally parameters controlling mutation, and performance is non-linear in genetic programs. Genetic programmin...
Alan Piszcz, Terence Soule
ASPDAC
2004
ACM
107views Hardware» more  ASPDAC 2004»
15 years 3 months ago
Minimization of the expected path length in BDDs based on local changes
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
Rüdiger Ebendt, Wolfgang Günther, Rolf D...
SIGCSE
2004
ACM
112views Education» more  SIGCSE 2004»
15 years 3 months ago
Great principles in computing curricula
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...
Peter J. Denning
ICRA
2003
IEEE
151views Robotics» more  ICRA 2003»
15 years 3 months ago
Adaptive real-time particle filters for robot localization
— Particle filters have recently been applied with great success to mobile robot localization. This success is mostly due to their simplicity and their ability to represent arbi...
Cody C. T. Kwok, Dieter Fox, Marina Meila
ICPADS
2002
IEEE
15 years 2 months ago
Communication Pattern Based Methodology for Performance Analysis of Termination Detection Schemes
Efficient determination of processing termination at barrier synchronization points can occupy an important role in the overall throughput of parallel and distributed computing sy...
Yili Tseng, Ronald F. DeMara