679 search results - page 125 / 136 » Algorithmic modifications to SPIHT |
103
click to vote
COMCOM
2006
14 years 11 months ago
2006
We introduce a novel mechanism for actively measuring available bandwidth along a network path. Instead of adding probe traffic to the network, the new mechanism exploits data pack...
PRL
2008
14 years 11 months ago
2008
We describe a multi-purpose image classifier that can be applied to a wide variety of image classification tasks without modifications or fine-tuning, and yet provide classificati...
130
Voted
TSP
2008
14 years 11 months ago
2008
In the traditional transmitting beamforming radar system, the transmitting antennas send coherent waveforms which form a highly focused beam. In the multiple-input multipleoutput (...
134
Voted
COMGEO
1999
ACM
14 years 11 months ago
1999
ACM
The use of polygonal meshes for the representation of highly complex geometric objects has become the de facto standard in most computer graphics applications. Especially triangle...
101
Voted
ICTAC
2010
Springer
14 years 9 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...