×

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

Haddock中决策图的优化边界。 (英语) Zbl 07745659号

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

强化学习中规范转换的框架。 (英语) Zbl 1528.68205号

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13660, 604-624 (2022).
PDF格式BibTeX公司 XML格式引用

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

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

使用答案集编程优化业务流程发现。 (英语) Zbl 1515.68290号

Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13416, 498-504 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过松弛验证工作流网络的通用性和结构可靠性。 (英语) 兹比尔1514.68123

Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。13372, 468-489 (2022).
PDF格式BibTeX公司 XML格式引用

Markov决策过程的运行时监控器。 (英语) 兹比尔1493.68214

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12760, 553-576 (2021).
PDF格式BibTeX公司 XML格式引用

使用预期大小推断概率整数程序的预期运行时间。 (英语) Zbl 1467.68066号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 250-269 (2021).
PDF格式BibTeX公司 XML格式引用

概率可达性约束的Farkas证书和最小见证人。 (英语) Zbl 1507.68187号

Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 324-345 (2020).
PDF格式BibTeX公司 XML格式引用

CTMC和CTMDP的近似时限可达性:Lyapunov方法。 (英语) Zbl 1514.68146号

McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11024, 389-406 (2018).
PDF格式BibTeX公司 XML格式引用

多项式微积分、Sherali-Adams和平方和证明之间的关系。 (英语) Zbl 1491.03077号

Niedermeier,Rolf(编辑)等人,第35届计算机科学理论方面研讨会,2018年2月28日至3月3日,法国卡昂,STACS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96,第11条,第14页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有价值的顾客服务提供商的复杂性。 (英语) Zbl 1482.68165号

Krokhin,Andrei(ed.)等人,约束满足问题:复杂性和可逼近性,Dagstuhl研讨会153012015年7月。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 7,233-266(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最大化实现目标的有条件预期回报。 (英语) Zbl 1453.90180号

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。10206, 269-285 (2017).
PDF格式BibTeX公司 XML格式引用

分析线性算术理论的限制片段。 (英语) Zbl 1390.68318号

安。数学。Artif公司。因特尔。 79,编号1-3,245-266(2017)勘误表同上79,第4号,371-392(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

整数程序的运行时下限。 (英语) Zbl 1475.68134号

Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 550-567 (2016).
PDF格式BibTeX公司 XML格式引用

raSAT:多项式约束的SMT解算器。 (英语) Zbl 1475.68359号

Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 228-237 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

半定规划和约束规划。 (英语) 兹比尔1334.90121

Anjos,Miguel F.(编辑)等,《半定、二次曲线和多项式优化手册》。纽约州纽约市:施普林格出版社(ISBN 978-1-4614-0768-3/hbk;978-1-46104-0769-0/电子书)。《运筹学与管理科学国际丛书》166、635-668(2012)。
MSC公司:90C22型 90 C90 90-02年
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交通法规不一致性管理:形式化和复杂性结果。 (英语) Zbl 1361.68220号

Fariñas del Cerro,Luis(编辑)等人,《人工智能中的逻辑》。2012年9月26日至28日,法国图卢兹,第13届欧洲会议,JELIA 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33352-1/pbk)。计算机科学课堂讲稿7519。《人工智能课堂讲稿》,80-93(2012)。
MSC公司:68T27型 90B20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从婚姻到联盟:软CSP方法。 (英语) Zbl 1248.68451号

Oddi,Angelo(编辑)等人,约束的最新进展。第十三届ERCIM约束求解和约束逻辑编程国际研讨会,CSCLP 2008,罗马,意大利,2008年6月18-20日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-03250-9/pbk)。计算机科学讲义5655。人工智能课堂讲稿,1-15(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\({\mathcal B}\)-对流层。面向代理的需求工程满足声明性业务流程建模和验证的计算逻辑。 (英语) Zbl 1175.68453号

Sadri,Fariba(编辑)等人,《多智能体系统中的计算逻辑》。第八届国际研讨会,CLIMA VIII,葡萄牙波尔图,2007年9月10日至11日。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-540-88832-1/pbk)。计算机科学课堂讲稿5056。人工智能课堂讲稿,157-176(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多目标优化的一种软方法。 (英语) Zbl 1185.90169号

Garcia de la Banda,Maria(编辑)等人,《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-89981-5/pbk)。计算机科学课堂讲稿5366764-768(2008)。
MSC公司:90C27型 90C29型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有损信道的随机游戏。 (英语) Zbl 1138.91336号

Amadio,Roberto(编辑),《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008,该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78497-5/pbk)。计算机科学课堂讲稿4962,35-49(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件