* Explains process algebra and protocol specification using µ CRL, a language developed to combine process algebra and abstract data types * Text is supported throughout with examples and exercises * Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author s website
标签： specification developed Explains language
上传时间： 2016-04-27
上传用户：笨小孩
Probabilistic Principal Components Analysis. [VAR, U, LAMBDA] = PPCA(X, PPCA_DIM) computes the principal ％ component subspace U of dimension PPCA_DIM using a centred covariance matrix X. The variable VAR contains the off-subspace variance (which is assumed to be spherical), while the vector LAMBDA contains the variances of each of the principal components. This is computed using the eigenvalue and eigenvector decomposition of X.
标签： Probabilistic Components Principal Analysis
上传时间： 2016-04-28
上传用户：qb1993225
基于小波的图像配准，主要是wavelet_registration_改进2，也即wavelet_registration改进版本，主要是将配准的循环由while变成了for, 循环变量变为整型，因此判断变为整型之间的判断， 节省执行时间
标签： 图像配准
上传时间： 2016-04-28
上传用户：671145514
EKF-SLAM Simulator This version of the simulator uses global variables for all large objects, such as the state covariance matrix. While bad programming practice, it is a necessary evil for MatLab efficiency, as MatLab has no facility to avoid gratuitous memory allocation and copying when passing (and modifying) variables between functions. With this concession, effort has been made to keep the code as clean and modular as possible.
标签： Simulator simulator variables EKF-SLAM
上传时间： 2016-05-02
上传用户：lunshaomo
--- --- --- --- --- --- Visual Studio Project Renamer For Win9x/NT/2k By Niek Albers nieka@daansystems.com (C)2001 DaanSystems Homepage: http://www.daansystems.com ------------------------------------ Use with care and on your own risk! Make backups before you use this program. Do a rebuild all on your renamed project. Usage: vsrename <oldname> <newname> <dir> Where: oldname : The old name of your project (typically the xxx from xxx.dsw) newname : The new name for your project dir : The directory tree that holds the project. The program will replace all occurences of oldname to newname in all files and rename all filenames that have the old name in it. It will walk subdirectories.
标签： Project Renamer Visual Studio
上传时间： 2013-12-15
上传用户：13517191407
4×4键盘，按键发声，1—9—0号键依次发do—xi、do、re、mi，*、＃键清除最近输入
标签： 键盘
上传时间： 2016-05-05
上传用户：康郎
This folder has some scritps that you may find usefull. All of it comes from questions that I ve received in my email. If you have a new request/question, feel free to send it to marceloperlin@gmail.com. But please, don t ask me to do your homework. Passing_your_param0 This folder contains instructions (and m files) for passing you own initial parameters to the fitting function. I also included a simple simulation script that will create random initial coefficients (under the proper bounds) and fit the model to the data.
标签： that questions scritps usefull
上传时间： 2013-12-28
上传用户：netwolf
Data_Structures_and_Algorithms - These notes accompany Data Structures and Algorithms II. The course, to a large extent, follows on from Data Structures and Algorithms I. However, while DS&A I focused on fundamental datastructures, DS&A II will focus on practical algorithms, applicable to a wide range of tasks. The approach will be somewhat less formal, with a little more focus on applications.
标签： Data_Structures_and_Algorithms Algorithms Structures accompany
上传时间： 2016-05-08
上传用户：阿四AIR
Welcome to Beginning Algorithms, a step-by-step introduction to computing algorithms for the real world. Developers use algorithms and data structures every day of their working lives. Having a good understanding of these algorithms and knowledge of when to apply them is essential to producing software that not only works correctly, but also performs efficiently. This book aims to explain those algorithms and data structures most commonly encountered in day-today software development, while remaining at all times practical, concise, and to the point, with little or no verbiage to distract from the core concepts and examples.
标签： step-by-step introduction Algorithms algorithms
上传时间： 2016-05-08
上传用户：wlcaption
matlab软件的仿真实列。 If you have any bugs and questions in our simulation programs, please e-mail to harada@ieee.org. We try to do our best to answer your questions.
标签： simulation questions programs matlab
上传时间： 2014-01-24
上传用户：cmc_68289287
