- 授权协议: GPLv3
- 开发语言: C/C++
- 操作系统: 跨平台
- 软件首页: http://mlsec.org/salad
软件介绍
Salad 是一种有效且灵活的实现著名的异常检测方法回文构词法王et al . 2006(RAID)。Salad 是基于语法模型,数据表示为其所有的子字符串的长度n。在训练这些gram)存储在一个布隆过滤器。这使得探测器来表示大量 gram)在小内存,仍然能够有效地访问数据。Salad 延伸回文构词法,允许各种语法类型、双阶级版本探测器的分类,以及各种模型分析模式
可计算性和计算复杂性
朱一清 / 国防工业出版社 / 2006-4 / 18.0
本书深入浅出地介绍了研究可计算性的四个主要模型以及四个模型彼此之间的关系：介绍了计算复杂性的基本概念和重要的研究方法与一些研究成果。内容涉及递归函数、图灵机、λ演算、马尔可夫算法、计算复杂度的分类、NP完全理论、非一致复杂性等。分述于十章,书中附有习题。 本书可作为广大有志于突破计算复杂性研究僵局——“P=NP？”的科技工作者,计算机科学和元计算机科学工作者,数学和元数学工作者以及大......一起来看看 《可计算性和计算复杂性》 这本书的介绍吧!
