220 search results - page 28 / 44 » Using Difference Reduction for Generic Proof Search |
SIGSOFT
2005
ACM
14 years 1 months ago
2005
ACM
Reuse has always been a major goal in software engineering, since it promises large gains in productivity, quality and time to market reduction. Practical experience has shown tha...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
Mobile video processing as defined in standards like MPEG-4 and H.263 contains a number of timeconsuming computations that cannot be efficiently executed on current hardware archi...
IGARSS
2010
13 years 5 months ago
2010
In this paper, we investigate the use of the watershed transformation for integrating spatial and spectral information in the process of endmember extraction for spectral unmixing...
CLEIEJ
2004
13 years 7 months ago
2004
Optimizing the pump-scheduling is an interesting proposal to achieve cost reductions in water distribution pumping stations. As systems grow, pump-scheduling becomes a very diffic...
CRV
2008
IEEE
14 years 2 months ago
2008
IEEE
The extraction of contours using deformable models, such as snakes, is a problem of great interest in computer vision, particular in areas of medical imaging and tracking. Snakes ...