Sciweavers

3238 search results - page 232 / 648
» Multi-return function call
Sort
View
GECCO
2007
Springer
177views Optimization» more  GECCO 2007»
14 years 2 months ago
On the behavioral diversity of random programs
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
Moshe Looks
ISICA
2007
Springer
14 years 2 months ago
A Fast Particle Swarm Optimization Algorithm with Cauchy Mutation and Natural Selection Strategy
The standard Particle Swarm Optimization (PSO) algorithm is a novel evolutionary algorithm in which each particle studies its own previous best solution and the group’s previous ...
Changhe Li, Yong Liu, Aimin Zhou, Lishan Kang, Hui...
LPAR
2007
Springer
14 years 2 months ago
Deciding Knowledge in Security Protocols for Monoidal Equational Theories
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Véronique Cortier, Stéphanie Delaune
MICAI
2007
Springer
14 years 2 months ago
Weighted Instance-Based Learning Using Representative Intervals
Instance-based learning algorithms are widely used due to their capacity to approximate complex target functions; however, the performance of this kind of algorithms degrades signi...
Octavio Gómez, Eduardo F. Morales, Jes&uacu...
SAT
2007
Springer
95views Hardware» more  SAT 2007»
14 years 2 months ago
Solving Multi-objective Pseudo-Boolean Problems
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
Martin Lukasiewycz, Michael Glaß, Christian ...