A Model Checking Approach to Analyzing Timed Compatibility in Mediation-aided Composition of Web Services
2021-02-07 16:03:13
440KB
1
酸橙
曾经有一个叫做石灰的包裹，
谁的模型简直是崇高的，
它解释了它们的变化，
一次观察一次。
莱姆·瑞克（Mara Averick）
这是Python石灰包（ ）的R端口，该石灰包是由石灰（本地可解释模型不可知的解释）方法的作者开发的，用于黑盒模型解释。 该方法的发明全部归功于原始开发人员。
lime的目的是解释黑匣子分类器的预测。 这意味着对于任何给定的预测和任何给定的分类器，它都能够确定原始数据中促成预测结果的一小部分特征。 要了解有关lime的方法的更多信息，请阅读并访问的资料库。
R的lime包并不旨在成为其Python对应版本的逐行端口。 相反，它采用原始代码中列
2021-02-05 15:10:13
3.86MB
1
Clarke_E.M.,_Grumberg_O.,_Peled_D.A._Model_checking_(2000)(en)(314s).文件较小，非常清晰
2019-12-21 20:29:16
2.97MB
1
The Spin Model Checker_Primer and Reference Manual (PDF格式)
2019-12-21 20:25:11
3.91MB
1