15416 search results - page 391 / 3084 » Embeddings of Computable Structures |
201
click to vote
CSL
2005
Springer
16 years 1 months ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
213
click to vote
GD
2005
Springer
16 years 1 months ago
2005
Springer
A clustered graph has its vertices grouped into clusters in a hierarchical way via subset inclusion, thereby imposing a tree structure on the clustering relationship. The c-planari...
223
click to vote
EMSOFT
2004
Springer
16 years 1 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
320
click to vote
EUSAI
2004
Springer
16 years 1 months ago
2004
Springer
Because of their severe resource-restrictions and limited user interfaces, smart everyday objects must often rely on remote resources to realize their services. This paper shows ho...
184
click to vote
GECCO
2004
Springer
16 years 1 months ago
2004
Springer
Extending the notion of inheritable genotype in genetic programming (GP) from the common model of DNA into chromatin (DNA and histones), we propose an approach of embedding in GP a...