3255 search results - page 122 / 651 » Combination of Abstractions in the ASTR |
ICIAR
2011
Springer
13 years 1 months ago
2011
Springer
Abstract. In this paper we present a new prediction technique to compress a pair of satellite images that have significant overlap in the underlying spatial areas. When this predi...
SPIN
2012
Springer
12 years 14 days ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
ECCV
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Tree-structured models have been widely used for human pose estimation, in either 2D or 3D. While such models allow efficient learning and inference, they fail to capture...
ECCV
2002
Springer
14 years 12 months ago
2002
Springer
Abstract. Quadrature filters are a well known method of low-level computer vision for estimating certain properties of the signal, as there are local amplitude and local phase. How...
EWSN
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. In-network data aggregation is widely recognized as an acceptable means to reduce the amount of transmitted data without adversely affecting the quality of the results. T...