7123 search results - page 374 / 1425 » The Ordered Set of Rough Sets |
153
click to vote
SEFM
2006
IEEE
16 years 25 days ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
164
click to vote
AVSS
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper, we present a video encoding scheme that uses object-based adaptation to deliver surveillance video to mobile devices. The method relies on a set of complementary vi...
157
click to vote
CSFW
2005
IEEE
16 years 13 days ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
181
click to vote
IPPS
2005
IEEE
2005
IEEE
Improving Middleware Performance with AdOC: An Adaptive Online Compression Library for Data Transfer
16 years 12 days ago
In this article, we present the AdOC (Adaptive Online Compression) library. It is a user-level set of functions that enables data transmission with compression. The compression is...
179
click to vote
LICS
2005
IEEE
16 years 12 days ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...