924 search results - page 37 / 185 » A Probabilistic Approach to Language Change |
IJCNN
2000
IEEE
14 years 1 months ago
2000
IEEE
It has already been shown how Artificial Neural Networks (ANNs) can be incorporated into probabilistic models. In this paper we review some of the approaches which have been prop...
CCS
1998
ACM
14 years 1 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
UM
2005
Springer
14 years 2 months ago
2005
Springer
This paper improves a recently-presented approach to Web Personalization, named Community Web Directories, which applies personalization techniques to Web Directories. The Web dire...
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
CAV
2012
Springer
11 years 11 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...