852 search results - page 36 / 171 » Refactoring module structure |
EVOW
2005
Springer
14 years 3 months ago
2005
Springer
This paper reports on steps that have been taken to enhance previously presented evolutionary sound matching work. In doing so, the convergence characteristics are shown to provide...
BIOSYSTEMS
2007
13 years 10 months ago
2007
Up to few years ago astrocytes have been considered as passive elements of brain, providing structural and metabolic support to the neurons, but playing little role in information...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
ISER
2000
Springer
14 years 1 months ago
2000
Springer
: This paper addresses motion planning of a homogeneous modular robotic system. The modules have self-reconfiguration capability so that a group of the modules can construct a robo...
ENTCS
2008
13 years 10 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...