1497 search results - page 137 / 300 » A Computational Model for Message Passing |
CSFW
2007
IEEE
14 years 2 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
JMLR
2010
13 years 3 months ago
2010
We present a new approximate inference algorithm for Deep Boltzmann Machines (DBM's), a generative model with many layers of hidden variables. The algorithm learns a separate...
IPPS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper examines the explicit communication characteristics of several sophisticated scientific applications, which, by themselves, constitute a representative suite of publicl...
ICPP
1998
IEEE
14 years 17 days ago
1998
IEEE
Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects and due...
SI3D
1992
ACM
14 years 11 days ago
1992
ACM
Direct volume rendering is a computationally intensive operation that has become a valued and often preferred visualization tool. For maximal data comprehension, interactive manip...