Sciweavers

17450 search results - page 3262 / 3490
» Numerical Methods with Applications
Sort
View
DCC
2000
IEEE
15 years 11 months ago
Multi-Resolution Adaptation of the SPIHT Algorithm for Multiple Description
Multiple description codes are data compression algorithms designed with the goal of minimizing the distortion caused by data loss in packet-based or diversity communications syst...
Nedeljko Varnica, Michael Fleming, Michelle Effros
INFOCOM
2000
IEEE
15 years 11 months ago
Freeze-TCP: A True End-to-End TCP Enhancement Mechanism for Mobile Environments
Abstract— Optimizing TCP (Transport Layer) for mobility has been researched extensively. We present a brief summary of existing results which indicates that most schemes require ...
Tom Goff, James Moronski, Dhananjay S. Phatak, Vip...
FMSP
2000
ACM
177views Formal Methods» more  FMSP 2000»
15 years 11 months ago
DSD: A schema language for XML
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
Nils Klarlund, Anders Møller, Michael I. Sc...
NPAR
2000
ACM
15 years 11 months ago
Painterly rendering for video and interaction
We present new methods for painterly video processing. Based on our earlier still image processing technique, we “paint over” successive frames of animation, applying paint on...
Aaron Hertzmann, Ken Perlin
POPL
2000
ACM
15 years 11 months ago
Enforcing Trace Properties by Program Transformation
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
Thomas Colcombet, Pascal Fradet
« Prev « First page 3262 / 3490 Last » Next »