1930 search results - page 258 / 386 » Epistemic comparative conditionals |
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
Abstract. The development of network-aware applications, i.e. applications that dynamically adapt to network conditions, has had some success in the domain of multimedia applicatio...
CVPR
1997
IEEE
14 years 2 months ago
1997
IEEE
Wepresent a methodfor motion estimation using ordinal measures. Ordinal measures are based on relative ordering of intensity values in a image regioncalled rankpermutation. While ...
VTS
1997
IEEE
14 years 2 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
PODC
1996
ACM
14 years 2 months ago
1996
ACM
Drawing ideas from previous authors, we present a new non-blocking concurrent queue algorithm and a new twolock queue algorithm in which one enqueue and one dequeue can proceed co...
MMB
1997
Springer
14 years 2 months ago
1997
Springer
The performance of current transaction processing systems largely depends on human experts for administration and tuning. These experts have to specify a multitude of internal con...