概率模型检查相关论文
如今越来越多的社会决策借助机器学习模型给出,包括法律决策、财政决策等等。对于这些决策,算法的公平性是极为重要的。事实上,在......
本文通过使用概率模型检查工具PRISM,研究渲染集群节点系统的可用性。针对1个集群节点和2个集群节点组成的系统,使用PRISM模型语言......
随着传感器技术、嵌入式技术、无线通信技术、微电子技术等的发展，无线传感器网络（WSN，Wireless Sensor Network）得到了广泛而深入的应......
