3690 search results - page 468 / 738 » Computation with classical sequents |
200
Voted
PDP
2005
IEEE
16 years 8 days ago
2005
IEEE
Circulant graphs have been deeply studied in technical literature. Midimew networks are a class of distancerelated optimal circulant graphs of degree four which have applications ...
151
click to vote
SIBGRAPI
2005
IEEE
16 years 8 days ago
2005
IEEE
We present a lossless compressor for multispectral images that exploits interband correlations. Each band is divided into blocks, to which a wavelet transform is applied. The wave...
161
click to vote
SMA
2005
ACM
16 years 7 days ago
2005
ACM
Geometric constraint solving is a key issue in CAD/CAM. Since Owen’s seminal paper, solvers typically use graph based decomposition methods. However, these methods become diffi...
218
click to vote
WCFLP
2005
ACM
16 years 7 days ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
200
click to vote
ACIVS
2005
Springer
16 years 7 days ago
2005
Springer
Multiresolution video denoising is becoming an increasingly popular research topic over recent years. Although several wavelet based algorithms reportedly outperform classical sing...