3844 search results - page 121 / 769 » Modular interpreted systems |
122
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
139
click to vote
MAGS
2007
15 years 2 months ago
2007
AKIRA is an open source framework designed for parallel, asynchronous and distributed computation, on the basis of some general architectural principles which are inspired by modu...
121
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: The architecture of biological networks has been reported to exhibit high level of modularity, and to some extent, topological modules of networks overlap with known f...
KI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Scene interpretation systems are often conceived as extensions of low-level image analysis with bottom-up processing for high-level interpretations. In this contribution ...
139
click to vote
ROBOCOMM
2007
IEEE
15 years 9 months ago
2007
IEEE
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...