6719 search results - page 1011 / 1344 » A Generalization of Automatic Sequences |
201
click to vote
CPAIOR
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In constraint programming there are often many choices regarding the propagation method to be used on the constraints of a problem. However, simple constraint solvers usu...
194
click to vote
FM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
287
click to vote
FOSAD
2009
Springer
16 years 2 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
215
click to vote
GECCO
2009
Springer
16 years 2 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
215
click to vote
GECCO
2009
Springer
16 years 2 months ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...