Sciweavers

FAC
2006
92views more  FAC 2006»
13 years 7 months ago
Action Refinement Applied to Late Decisions
In modular approaches to specify concurrent systems a system is built up from components using various operators as e.g. the sequential, the parallel, or the choice (+) operator. U...
Harald Fecher, Mila E. Majster-Cederbaum
ENTCS
2006
214views more  ENTCS 2006»
13 years 7 months ago
A Generalization of ACP Using Belnap's Logic
ACP is combined with Belnap's four-valued logic via conditional composition (if
Alban Ponse, Mark van der Zwaag
ASC
2010
13 years 7 months ago
Genotype representations in grammatical evolution
Grammatical evolution (GE) is a form of grammar-based genetic programming. A particular feature of GE is that it adopts a distinction between the genotype and phenotype similar to...
Jonatan Hugosson, Erik Hemberg, Anthony Brabazon, ...
APPML
2008
66views more  APPML 2008»
13 years 7 months ago
On unbounded operators and applications
Assume that Au = f (1) is a solvable linear equation in a Hilbert space H, A is a linear, closed, densely defined, unbounded operator in H, which is not boundedly invertible, so p...
Alexander G. Ramm
GECCO
2008
Springer
133views Optimization» more  GECCO 2008»
13 years 8 months ago
The micro-genetic operator in the search of global trends
This work studies the mGA operator (Micro Genetic Algorithm), that has been proposed in literature as a “local search” operator for optimization with Genetic Algorithm. A new ...
Flávio V. C. Martins, Eduardo G. Carrano, E...
FOGA
1998
13 years 8 months ago
Understanding Interactions among Genetic Algorithm Parameters
Genetic algorithms (GAs) are multi-dimensional and stochastic search methods, involving complex interactions among their parameters. For last two decades, researchers have been tr...
Kalyanmoy Deb, Samir Agrawal
USENIX
2003
13 years 8 months ago
Undo for Operators: Building an Undoable E-mail Store
System operators play a critical role in maintaining server dependability yet lack powerful tools to help them do so. To help address this unfulfilled need, we describe Operator U...
Aaron B. Brown, David A. Patterson
WSC
2001
13 years 8 months ago
How "overstaffing" at bottleneck machines can unleash extra capacity
Using simulation, Headway Technologies predicted that increasing staffing among a group of already lightly loaded machine operators--"overstaffing"--would significantly ...
Robert C. Kotcher
IJCAI
2003
13 years 8 months ago
Use of Off-line Dynamic Programming for Efficient Image Interpretation
An interpretation system finds the likely mappings from portions of an image to real-world objects. An interpretation policy specifies when to apply which imaging operator, to whi...
Ramana Isukapalli, Russell Greiner
IJIT
2004
13 years 8 months ago
"Intuition" Operator: Providing Genomes with Reason
In this contribution, the use of a new genetic operator is proposed. The main advantage of using this operator is that it is able to assist the evolution procedure to converge fast...
Grigorios N. Beligiannis, Georgios A. Tsirogiannis...