< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
On-Line MCMC Bayesian Model Selection This demo demonstrates how to use the sequential Monte Carlo algorithm with reversible jump MCMC steps to perform model selection in neural networks. We treat both the model dimension (number of neurons) and model parameters as unknowns. The derivation and details are presented in: Christophe Andrieu, Nando de Freitas and Arnaud Doucet. Sequential Bayesian Estimation and Model Selection Applied to Neural Networks . Technical report CUED/F-INFENG/TR 341, Cambridge University Department of Engineering, June 1999. After downloading the file, type "tar -xf version2.tar" to uncompress it. This creates the directory version2 containing the required m files. Go to this directory, load matlab5 and type "smcdemo1". In the header of the demo file, one can select to monitor the simulation progress (with par.doPlot=1) and modify the simulation parameters.
标签： demonstrates sequential Selection Bayesian
上传时间： 2016-04-07
上传用户：lindor
算法导论英文版 This book is one of a series of texts written by faculty of the Electrical Engineering and Computer Science Department at the Massachusetts Institute of Technology. I
标签： Engineering Electrical of faculty
上传时间： 2016-04-07
上传用户：123456wh
uclinux 中如何使用b核的文章,经典
上传时间： 2016-04-11
上传用户：jqy_china
Games programming all in one code chapter 15
标签： programming chapter Games code
上传时间： 2013-12-15
上传用户：水中浮云
Games programming all in one code chapter 17
标签： programming chapter Games code
上传时间： 2013-12-25
上传用户：leixinzhuo
Games programming all in one code chapter 18
标签： programming chapter Games code
上传时间： 2016-04-12
上传用户：lepoke
Games programming all in one code chapter 20
标签： programming chapter Games code
上传时间： 2016-04-12
上传用户：bakdesec
Games programming all in one code chapter 21(final chapter)
标签： chapter programming Games final
上传时间： 2014-02-05
上传用户：stella2015
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签： JavaBean Servlet MySQL Jsp
上传时间： 2013-11-26
上传用户：yuchunhai1990
