Sciweavers

8446 search results - page 16 / 1690
» A Process Compensation Language
Sort
View
IFIP
2004
Springer
14 years 4 months ago
Nested Commits for Mobile Calculi: Extending Join
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
Roberto Bruni, Hernán C. Melgratti, Ugo Mon...
ICIP
2001
IEEE
15 years 15 days ago
Look-up-table based DCT domain inverse motion compensation
DCT-based digital video coding standards such as MPEG and H.26x have been widely adopted for multimedia applications. Thus video processing in the DCT domain usually proves to be ...
Shizhong Liu, Alan C. Bovik
ICASSP
2010
IEEE
13 years 11 months ago
Quantization and compensation in sampled interleaved multi-channel systems
This paper considers the environment of interleaved, multi-channel measurements as arises for example in time-interleaved A/D converters and in distributed sensor networks. Such s...
Shay Maymon, Alan V. Oppenheim
CP
2009
Springer
14 years 11 months ago
Approximating Weighted Max-SAT Problems by Compensating for Relaxations
We introduce a new approach to approximating weighted Max-SAT problems that is based on simplifying a given instance, and then tightening the approximation. First, we relax its str...
Arthur Choi, Trevor Standley, Adnan Darwiche
ICIP
2009
IEEE
14 years 12 months ago
Fluorescence Microscopy Imaging Denoising With Log-euclidean Priors And Photobleaching Compensation
Fluorescent protein microscopy imaging is nowadays one of the most important tools in biomedical research. However, the resulting images present a low signal to noise ratio and a ...