×

找到20个文档(结果1–20)

对于密集实例,最小成本流、MDP和(ell_1)-在近似线性时间内回归。 (英语) Zbl 07765216号

Khuller,Samir(编辑)等人,《第53届ACM SIGACT计算理论年度研讨会论文集》,STOC’21,虚拟,意大利,2021年6月21日至25日。纽约州纽约市:计算机协会(ACM)。859-869 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

假设线性方程组很难求解,打包LP很难精确求解。 (英语) Zbl 07304040号

Chawla,Shuchi(编辑),第31届ACM-SIAM离散算法年度研讨会论文集,SODA 2020,美国犹他州盐湖城,2020年1月5日至8日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。279-296 (2020).
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有不确定性的低级概率程序的指称语义。 (英语) Zbl 07515966号

Barbara König(编辑),第35届编程语义数学基础会议论文集,MFPS XXXV,英国伦敦,2019年6月4-7日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。347, 303-324 (2019).
MSC公司:68号30 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过自适应预处理在几乎线性时间内流动。 (英语) Zbl 1434.68679号

Charikar,Moses(ed.)等人,第51届ACM SIGACT计算理论研讨会论文集,STOC’19,美国亚利桑那州凤凰城,2019年6月23日至26日。纽约州纽约市:计算机协会(ACM)。902-913(2019年)。
PDF格式BibTeX公司 XML格式引用

扩展器分解和修剪:更快、更强、更简单。 (英语) Zbl 1430.68238号

Chan,Timothy M.(编辑),《第30届ACM-SIAM离散算法年度研讨会论文集》,2019年1月6日至9日,美国加利福尼亚州圣地亚哥,SODA 2019。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。2616-2635 (2019).
MSC公司:68兰特 68瓦40
PDF格式BibTeX公司 XML格式引用

条件Dyck-CFL可达性分析,用于完整高效的库摘要。 (英语) Zbl 1485.68075号

Yang,Hongseok(编辑),《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会(ESOP 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10201, 880-908 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份