4485 search results - page 216 / 897 » Equivalences on Observable Processes |
135
Voted
JLP
2007
15 years 3 months ago
2007
Secret or private information may be leaked to an external attacker through the timing behaviour of the system running the untrusted code. After introducing a formalisation of thi...
114
Voted
ENTCS
2002
15 years 3 months ago
2002
We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...
143
click to vote
ML
2007
ACM
15 years 3 months ago
2007
ACM
Classifier calibration is the process of converting classifier scores into reliable probability estimates. Recently, a calibration technique based on isotonic regression has gain...
130
Voted
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
We investigate reducing the dimensionality of image sets by using principal component analysis on wavelet coefficients to maximize edge energy in the reduced dimension images. Lar...
123
click to vote
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...