2647 search results - page 45 / 530 » Solving Term Inequalities |
102
Voted
DESRIST
2009
Springer
15 years 8 months ago
2009
Springer
Design science emphasizes the connection between knowledge and practice by showing that we can produce scientific knowledge by designing useful things. However, without further g...
133
click to vote
FOIKS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we present a syntactic method for solving firstorder equational constraints over term algebras. The presented method exploits a novel notion of quasi-solve...
144
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Quantum-inspired evolutionary algorithms (QIEAs), as a subset of evolutionary computation, are based on the principles of quantum computing such as quantum bits and quantum superp...
141
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Deceptive problems have always been considered difficult for Genetic Algorithms. To cope with this characteristic, the literature has proposed the use of Parallel Genetic Algorith...
131
click to vote
ESA
2010
Springer
15 years 3 months ago
2010
Springer
We report on the solution of a real-time scheduling problem that arises in the design of software-based operation control of aircraft. A set of tasks has to be distributed on a min...