6045 search results - page 843 / 1209 » Computable Linearizations of Well-partial-orderings |
172
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper deals with the optimization of a new technique of image compression. After the wavelet transform of an image, blocks of coefficients are further linearly decomposed us...
199
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
Recently Zhang et al described an algorithm for the detection of ±1 LSB steganography based on the statistics of the amplitudes of local extrema in the greylevel histogram. Exper...
224
Voted
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a novel human detection method based on a Bayesian fusion approach using laser range data and camera images. Laser range data analysis groups data points wi...
171
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—We study the problem of data-driven routing and navigation in a distributed sensor network over a continuous scalar field. Specifically, we address the problem of searching fo...
160
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...