3104 search results - page 499 / 621 » Using quantitative analysis to implement autonomic IT system... |
132
click to vote
TIP
2008
15 years 4 months ago
2008
Abstract--In this paper, we present an analytic, filtered backprojection (FBP) type inversion method for bistatic synthetic aperture radar (BISAR). We consider a BISAR system where...
114
click to vote
IPM
1998
15 years 4 months ago
1998
- Genetic algorithms (GAs) search for good solutions to a problem by operations inspired from the natural selection of living beings. Among their many uses, we can count informatio...
178
click to vote
STTT
2010
15 years 2 months ago
2010
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
243
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
184
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper we briefly overview emerging trends in `Adaptive Morphology', i.e. work related to the theory and/or applications of image analysis filters, systems, or algorit...