Bayesian Methods for Hackers : An intro to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view.
A. Popescul, L. Ungar, D. Pennock, and S. Lawrence. Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence, page 437--444. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (August 2001)
D. Jansen, H. Hermanns, and J. Katoen. Intl. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, page 355--374. Springer, (September 2002)
P. Mitra, N. Noy, and A. Jaiswal. Workshop on Meaning coordination and negotiation at the Third International Conference on the Semantic Web (ISWC-2004), (2004)