477 search results - page 31 / 96 » Design patterns in separation logic |
CVPR
2006
IEEE
14 years 11 months ago
2006
IEEE
This paper introduces a complete pipeline of image processing methods in order to analyze and track the internal structures of a composite material. As a first step, input Xray im...
OOPSLA
1998
Springer
14 years 1 months ago
1998
Springer
Today, any large object-oriented software system is built using frameworks. Yet, designing frameworks and defining their interaction with clients remains a difficult task. A prima...
CCE
2007
13 years 9 months ago
2007
Design and control of recycle systems must be integrated at an early design stage. By placing together the pieces of the design puzzle we developed a novel methodology that allows...
ECOOP
2004
Springer
14 years 2 months ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...
ICAPR
2005
Springer
14 years 2 months ago
2005
Springer
The Logarithmic Image Processing model (LIP) is a robust mathematical framework for the processing of transmitted and reflected images. It follows many visual, physical and psycho...