Sciweavers

639 search results - page 67 / 128
» Dominance Constraints with Set Operators
Sort
View
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
14 years 7 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
TIT
2010
81views Education» more  TIT 2010»
14 years 4 months ago
Generalizing capacity: new definitions and capacity theorems for composite channels
We consider three capacity definitions for composite channels with channel side information at the receiver. A composite channel consists of a collection of different channels with...
Michelle Effros, Andrea J. Goldsmith, Yifan Liang
GIS
2006
ACM
15 years 10 months ago
Distance join queries on spatial networks
The result of a distance join operation on two sets of objects R, S on a spatial network G is a set P of object pairs <p, q>, p R, q S such that the distance of an object ...
Jagan Sankaranarayanan, Houman Alborzi, Hanan Same...
ISCIS
2003
Springer
15 years 3 months ago
POCS-Based Enhancement of De-interlaced Video
Abstract. To convert an interlaced video into a progressive one effectively, de-interlacing techniques have been developed. However, existing de-interlacing techniques can not per...
Kang-Sun Choi, Jun-Ki Cho, Min-Cheol Hwang, Sung-J...
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
15 years 2 months ago
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
Christophe Aussaguès, Vincent David