* 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
