133 search results - page 19 / 27 » Inference of Session Types From Control Flow |
CHI
2008
ACM
14 years 7 months ago
2008
ACM
We present a method for browsing videos by directly dragging their content. This method brings the benefits of direct manipulation to an activity typically mediated by widgets. We...
CSFW
2008
IEEE
13 years 8 months ago
2008
IEEE
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
LCTRTS
2000
Springer
13 years 10 months ago
2000
Springer
Multimedia communication systems require not only high-performance computer hardware and highspeed networks, but also a buffer management mechanism to process voluminous data effi...
TIP
2002
13 years 6 months ago
2002
Signal and image enhancement is considered in the context of a new type of diffusion process that simultaneously enhances, sharpens, and denoises images. The nonlinear diffusion co...
JSAC
2006
13 years 6 months ago
2006
We study the flow control and routing decisions of self-interested users in a general congested network where a single profit-maximizing service provider sets prices for different ...