12399 search results - page 2443 / 2480 » Deformable structural models |
135
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
Motivated by the ability of living cells to form specific shapes and structures, we present a computational approach using distributed genetic programming to discover cell-cell i...
107
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
136
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
140
click to vote
DAC
2010
ACM
15 years 2 months ago
2010
ACM
The performance of most embedded systems is critically dependent on the average memory access latency. Improving the cache hit rate can have significant positive impact on the per...
105
click to vote
ANOR
2010
15 years 2 months ago
2010
-- The Multi-Story Space Assignment Problem (MSAP) is an innovative formulation of the multi-story facility assignment problem that allows one to model the location of departments ...