×

找到716份文件(结果1-100)

马尔可夫决策过程策略迭代的平滑复杂性。 (英语) Zbl 07844719号

Saha,Barna(编辑)等人,第55届ACM SIGACT计算理论研讨会论文集,STOC’23,美国佛罗里达州奥兰多,2023年6月20日至23日。纽约州纽约市:计算机协会(ACM)。1890-1903 (2023).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

具有连续动作空间的区间马尔可夫决策过程。 (英语) Zbl 07807953号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第12号论文,第10页(2023年)。
PDF格式BibTeX公司 XML格式引用

使用精确算术的有效通用商。 (英语) Zbl 07760800号

Dickenstein,Alicia(编辑)等人,第48届符号和代数计算国际研讨会论文集,ISSAC,挪威特罗姆索,2023年7月24日至27日。纽约州纽约市:计算机协会(ACM)。535-544 (2023).
MSC公司:68瓦30
PDF格式BibTeX公司 XML格式引用

广义交替方向乘法器随机变量的复杂性分析。 (英语) Zbl 07722843号

杜定珠(编)等,计算模型的理论与应用。第17届年会,TAMC 2022,中国天津,2022年9月16日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13571, 218-236 (2023).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

大地测量外壳的边界和算法。 (英语) Zbl 07683172号

Balachandran,Niranjan(编辑)等人,《算法和离散应用数学》。第八届国际会议,2022年2月10日至12日,印度普杜赫里CALDAM 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13179, 181-194 (2022).
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

谐波任务响应时间分析的精确多项式时间算法。 (英语) Zbl 07577718号

Bazgan,Cristina(编辑)等人,《组合算法》。2022年6月7日至9日,第33届国际研讨会,IWOCA 2022,德国特里尔。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13270, 451-465 (2022).
MSC公司:68卢比 68瓦xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

真无限结构上微积分不动点的有限收敛性。 (英语) Zbl 07724197号

Filippo Bonchi等人,第46届计算机科学数学基础国际研讨会,MFCS 2021,2021年8月23日至27日,爱沙尼亚塔林。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。202,第24条,第19页(2021)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

快速高效的位级精度调整。 (英语) Zbl 1497.68105号

Drágoi,Cezara(编辑)等人,《静态分析》。第28届国际研讨会,SAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17日至19日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12913, 1-24 (2021).
MSC公司:68号30 6504年
PDF格式BibTeX公司 XML格式引用

使用Petri网破译环形交通队列的同车异常。 (英语) Zbl 1489.68170号

Buchs,Didier(编辑)等人,Petri网和并发的应用和理论。第42届国际会议,PETRI NETS 2021,虚拟活动,2021年6月23日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12734, 443-462 (2021).
MSC公司:68问题85 90B20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

萨拉·苏普普(Shelah-Stupp)和穆奇尼克(Muchnik)的迭代再次出现。 (英语) Zbl 07493544号

Santhanam,Rahul(编辑)等人,《计算机科学——理论与应用》。2021年6月28日至7月2日,在俄罗斯索契举行的第16届国际计算机科学研讨会,CSR 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12730, 395-405 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用泛函提升的非凸变分问题的逆尺度空间迭代。 (英语) Zbl 1487.94017号

Elmoataz,Abderrahim(编辑)等人,计算机视觉中的尺度空间和变分方法。第八届国际会议,SSVM 2021,虚拟活动,2021年5月16日至20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12679, 229-241 (2021).
MSC公司:94A08型 68单位10
PDF格式BibTeX公司 XML格式引用

异步一级和两级区域分解求解器。 (英语) Zbl 1509.65135号

Haynes,Ronald(编辑)等人,《科学与工程领域分解方法》第二十五卷。根据2018年7月23日至27日在加拿大纽芬兰和拉布拉多省圣约翰市纽芬兰纪念大学举行的第25届领域分解方法国际会议上的演讲选出的论文。查姆:斯普林格。莱克特。注释计算。科学。工程138134-142(2020)。
PDF格式BibTeX公司 XML格式引用

算术分支程序给出的多项式的因式分解。 (英语) Zbl 1529.68330号

Saraf,Shubhangi(编辑),第35届计算复杂性会议,CCC 2020,2020年7月28日至31日,德国萨尔布吕肯,虚拟会议。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。169,第33条,第19页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用通用图的值迭代和平均回报博弈的复杂性。 (英语) 兹伯利07559405

Esparza,Javier(ed.)等人,第45届计算机科学数学基础国际研讨会,MFCS 2020,2020年8月25日至26日,捷克共和国布拉格。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。170,第34条,第15页(2020年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有异构服务器的处理器共享排队系统中最优控制的评估和预测。 (英语) 兹比尔1490.68064

Vishnevskiy,Vladimir M.(编辑)等人,《分布式计算机和通信网络》。第23届国际会议,2020年DCCN,俄罗斯莫斯科,2020年9月14日至18日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12563, 450-462 (2020).
MSC公司:68平方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

针对网络流行病的网络欺骗的部分可观察随机博弈。 (英语) Zbl 1483.68051号

朱全燕(主编)等,《安全决策与博弈论》。第11届国际会议,2020年10月28日至30日,GameSec 2020,美国马里兰州大学公园。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12513, 312-325 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算概率自动机的概率相似性距离。 (英语) Zbl 07649917号

Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第9条,第17页(2019年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

共创恢复单子:守卫迭代和守卫精灵。 (英语) Zbl 07649896号

Roggenbach,Markus(ed.)等人,第八届计算机科学中的代数和余代数会议,2019年CALCO,英国伦敦,2019月3日至6日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。139,第13条,第17页(2019年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于价值迭代的复杂性。 (英语) Zbl 07561595号

Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第102条,第15页(2019年)。
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

关于对称多项式的复杂性。 (英语) 兹比尔07559090

Blum,Avrim(编辑),第十届理论计算机科学创新大会,2019年1月10日至12日,美国加利福尼亚州圣地亚哥,ITCS 2019。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。124,第47条,第14页(2019年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件