1239 search results - page 58 / 248 » Control Generation for Logic Programs |
TITS
2008
15 years 1 months ago
2008
Abstract--In this paper, the implementation of genetic programming (GP) to design a controller structure is assessed. GP is used to evolve control strategies that, given the curren...
128
click to vote
EUROGP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Particle Swarm Optimisers (PSOs) search using a set of interacting particles flying over the fitness landscape. These are typically controlled by forces that encourage ...
141
click to vote
LICS
2010
IEEE
15 years 12 days ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
124
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
135
click to vote
ASE
2004
15 years 1 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...