1942 search results - page 66 / 389 » Matroids from modules |
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
MVA
1992
13 years 8 months ago
1992
This paper proposes a system for the background image generation by cooperative parallel processingunder the severe outdoor environmental conditions, which are ever changing in na...
ENTCS
2008
13 years 7 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...
CVIU
2007
13 years 7 months ago
2007
We address visual perception for personal service robotic systems in the home. We start by identifying the main functional modules and their relationships. This includes self-loca...
COMPLEXITY
2004
13 years 7 months ago
2004
Bodies of plants are modularly organized. Development proceeds by adding new modules to open endings with a potential for branching. Each module is autonomous to some extent. Deve...