Sciweavers

1156 search results - page 142 / 232
» Compositional Methods for Information-Hiding
Sort
View
EVOW
2009
Springer
14 years 3 months ago
Life's What You Make: Niche Construction and Evolutionary Art
This paper advances new methods for ecosystemic approaches to evolutionary music and art. We explore the biological concept of the niche and its role in evolutionary dynamics, appl...
Jon McCormack, Oliver Bown
CSL
2009
Springer
14 years 3 months ago
Decidable Extensions of Church's Problem
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...
Alexander Rabinovich
GECCO
2009
Springer
157views Optimization» more  GECCO 2009»
14 years 3 months ago
Multi material topological optimization of structures and mechanisms
Multi-material 3D-printing technologies permit the freeform fabrication of complex spatial arrangements of materials in arbitrary geometries. This technology has opened the door t...
Jonathan D. Hiller, Hod Lipson
KI
2009
Springer
14 years 3 months ago
Toward Heterogeneous Cardinal Direction Calculus
Cardinal direction relations are binary spatial relations determined under an extrinsically-defined direction system (e.g., north of). We already have point-based and region-based ...
Yohei Kurata, Hui Shi
DATE
2008
IEEE
91views Hardware» more  DATE 2008»
14 years 3 months ago
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams
We present several methods to generate modular code from synchronous hierarchical block diagrams. Modularity means code is generated for a given macro (i.e., composite) block inde...
Roberto Lublinerman, Stavros Tripakis