Sciweavers

1157 search results - page 179 / 232
» Solving iterated functions using genetic programming
Sort
View
143
Voted
ENTCS
2008
105views more  ENTCS 2008»
15 years 3 months ago
Declaring Numbers
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...
Bernd Braßel, Sebastian Fischer, Frank Huch
161
Voted
GECCO
2007
Springer
155views Optimization» more  GECCO 2007»
15 years 9 months ago
Observing the swarm behaviour during its evolutionary design
Evolutionary Algorithms (EAs) can be used for designing Particle Swarm Optimization (PSO) algorithms that work, in some cases, considerably better than the human-designed ones. By...
Laura Diosan, Mihai Oltean
160
Voted
CIE
2008
Springer
15 years 5 months ago
Recursion on Nested Datatypes in Dependent Type Theory
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
Ralph Matthes
119
Voted
AUTOMATICA
2004
109views more  AUTOMATICA 2004»
15 years 3 months ago
Optimal stationary behavior for a class of timed continuous Petri nets
In this paper, we consider a deterministic timed continuous Petri net model where conflicts at places are solved by using stationary routing parameters. We show how to compute the...
Bruno Gaujal, Alessandro Giua
ASPDAC
2005
ACM
117views Hardware» more  ASPDAC 2005»
15 years 9 months ago
Dynamic symmetry-breaking for improved Boolean optimization
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Kare...