7049 search results - page 1121 / 1410 » Data Abstraction for CSP-OZ |
213
click to vote
PCM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. When a block is lost due to a transmission error in compressed bitstream, conventional temporal error concealment schemes try to conceal the lost block by recovering its ...
187
click to vote
PERVASIVE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Many work environments can benefit from integrated computing devices to provide information to users, record users’ actions, and prompt users about the next steps to t...
191
click to vote
PKC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Bellare, Boldyreva, Desai, and Pointcheval [1] recently proposed a new security requirement of the encryption schemes called “keyprivacy.” It asks that the encryption...
184
click to vote
PKDD
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. People recently are interested in a new operator, called skyline [3], which returns the objects that are not dominated by any other objects with regard to certain measure...
165
Voted
SAS
2004
Springer
16 years 4 days ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...