4880 search results - page 829 / 976 » Manuals as Structured Programs |
171
click to vote
CP
2007
Springer
16 years 20 days ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
137
click to vote
DNA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. A major challenge in nanoscience is the design of synthetic molecular devices that run autonomously and are programmable. DNA-based synthetic molecular devices have the a...
188
click to vote
FOSSACS
2007
Springer
16 years 20 days ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
161
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
Developmental systems typically produce a phenotype through a generative process whose outcome depends on feedback from the environment. In most artificial developmental systems, ...
165
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...