72 search results - page 8 / 15 » Aspect-Oriented Analysis Applied to the Space Domain |
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
Functional image sequences obtained from image reconstruction techniques applied to Magneto and Electroencephalography (M/EEG) data convey a large amount of information in the spa...
SCIA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Moving objects detection is a crucial step for video surveillance systems. The segmentation performed by motion detection algorithms is often noisy, which makes it hard t...
INFOVIS
2000
IEEE
15 years 2 months ago
2000
IEEE
In previous work, researchers have attempted to construct taxonomies of information visualization techniques by examining the data domains that are compatible with these technique...
ICIAR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper, we study the problem of restoring multicomponent images. In particular, we investigate the effects of accounting for the correlation between the image com...