557 search results - page 33 / 112 » The L4.verified Project - Next Steps |
ICSP
1993
13 years 10 months ago
1993
Much contemporary development process research is based on analyses of process steps, their duration, and the events they propagate. Our initial research in large, mature telecomm...
DGCI
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. Discrete tomography is a powerful approach for reconstructing images that contain only a few grey levels from their projections. Most theory and reconstruction algorithms...
ALIFE
2004
13 years 9 months ago
2004
Maturana and Varela's notion of autopoiesis has the potential to transform the conceptual foundation of biology as well as the cognitive, behavioral, and brain sciences. In or...
AI
2000
Springer
13 years 8 months ago
2000
Springer
This paper reports the new steps undertaken in our work aimed to demonstrate the effectiveness of an omnidirectional vision sensor when conjugated with the Spatial Semantic Hierarc...
GI
2009
Springer
13 years 6 months ago
2009
Springer
Abstract: The integration of EMIS and ERP-systems has been recognized as an important step towards a holistic and long-term oriented environmental management. A number of research ...