5754 search results - page 955 / 1151 » Multi-class Model M |
155
click to vote
ESORICS
1994
Springer
15 years 8 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
158
click to vote
CADE
1990
Springer
15 years 8 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
106
click to vote
SP
1989
IEEE
15 years 8 months ago
1989
IEEE
Everyone who has seen the movie Wall Street will have seen a commercial security policy in action. The recent work of Clark and Wilson and the WIPCIS initiative (the Workshop on I...
133
click to vote
ACII
2007
Springer
15 years 8 months ago
2007
Springer
The modelling of affective behaviour and appropriate bodily expression to make synthetic characters more believable becomes important in many types of applications such as games, s...
154
click to vote
CAIP
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a novel texture descriptor based on the wavelet transform. First, we will consider vertical and horizontal coefficients at the same position as the components o...