×

找到19个文档(结果1-19)

基于ZDD的求解最短重构问题的算法框架。 (英语) Zbl 07745660号

Andre A.Cire(编辑),《约束编程、人工智能和运筹学的集成》。2023年5月29日至6月1日,第20届国际会议,CPAIOR 2023,法国尼斯。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13884, 167-183 (2023).
MSC公司:68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用

通过无约束优化和拓扑度测试处理SMT中的多项式和超越函数。 (英语) Zbl 1522.68716号

Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,2022年亚洲电视协会,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13505、137-153(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机混合系统规范的控制设计。 (英语) Zbl 1364.93263号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。303-312 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非自治随机混合系统基于定量自动机的控制器综合。 (英语) Zbl 1362.68189号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。293-302 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有界速率多模系统的安全可调度性。 (英语) Zbl 1361.93019号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。243-252 (2013).
PDF格式BibTeX公司 XML格式引用

使用图形游戏自动分析实时调度。 (英语) Zbl 1361.90021号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。163-172 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多面体混合系统的状态估计及其在Godunov格式中的应用。 (英语) Zbl 1362.93069号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。143-152 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

学习非线性混合系统:从稀疏优化到支持向量回归。 (英语) Zbl 1364.93381号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。33-42 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

建立一个高效的SAT图书馆:宣言。 (英语) Zbl 0990.90559号

Kautz,Henry(编辑)等,2001年LICS满意度测试理论与应用研讨会(SAT 2001)。2001年6月14日至15日,美国马萨诸塞州波士顿。阿姆斯特丹:爱思唯尔,电子。注释离散数学。9,无页码。,仅电子版(2001)。
MSC公司:90C27型 90 C59
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份