Sciweavers

1037 search results - page 103 / 208
» A view of canonical extension
Sort
View
IVC
2006
87views more  IVC 2006»
15 years 6 months ago
On the relation between Memon's and the modified Zeng's palette reordering methods
Palette reordering has been shown to be a very effective approach for improving the compression of color-indexed images by general purpose continuous-tone image coding techniques....
Armando J. Pinho, António J. R. Neves
JFP
2006
88views more  JFP 2006»
15 years 6 months ago
Type-based confinement
Confinement properties impose a structure on object graphs which can be used to enforce encapsulation properties. From a practical point of view, encapsulation is essential for bu...
Tian Zhao, Jens Palsberg, Jan Vitek
ENTCS
2007
105views more  ENTCS 2007»
15 years 6 months ago
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...
Srecko Brlek, Sardaouna Hamadou, John Mullins
MSS
2008
IEEE
112views Hardware» more  MSS 2008»
15 years 6 months ago
Axiomatization of stochastic models for choice under uncertainty
: This paper develops a theory of probabilistic models for risky choices. Part of this theory can be viewed as an extension of the expected utility theory to account for bounded ra...
John K. Dagsvik
EOR
2007
84views more  EOR 2007»
15 years 6 months ago
The multi-layered network design problem
act 11 We address the problem of designing a network built on several layers. This problem occurs in practical applications 12 but has not been studied extensively from the point o...
Arnaud Knippel, Benoit Lardeux