掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International colloquium on automata, languages and programming
International colloquium on automata, languages and programming
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Tighter Fourier Transform Lower Bounds
机译:
紧傅立叶变换下界
作者:
Nir Ailon
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
2.
On the Problem of Approximating the Eigenvalues of Undirected Graphs in Probabilistic Logspace
机译:
关于概率对数空间中无向图的特征值的逼近问题
作者:
Dean Doron
;
Amnon Ta-Shma
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
3.
Counting Homomorphisms to Square-Free Graphs, Modulo 2
机译:
将同态计数到无平方图,模2
作者:
Andreas Goebel
;
Leslie Ann Goldberg
;
David Richerby
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
4.
On Planar Boolean CSP
机译:
在平面布尔CSP上
作者:
Zdenek Dvorak
;
Martin Kupec
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
5.
Quantifying Competitiveness in Paging with Locality of Reference
机译:
使用参考位置量化分页中的竞争力
作者:
Susanne Albers
;
Dario Frascaria
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
6.
Approximation Algorithms for Computing Maximin Share Allocations
机译:
计算Maximin股份分配的近似算法
作者:
Georgios Amanatidis
;
Evangelos Markakis
;
Afshin Nikzad
;
Amin Saberi
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
7.
A (2 + ε)-Approximation Algorithm for the Storage Allocation Problem
机译:
存储分配问题的(2 +ε)近似算法
作者:
Tobias Moerake
;
Andreas Wiese
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
8.
Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas
机译:
布尔公式解空间中的最短重新配置路径
作者:
Amer E. Mouawad
;
Naomi Nishimura
;
Vinayak Pathak
;
Venkatesh Raman
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
9.
On Temporal Graph Exploration
机译:
论时间图探索
作者:
Thomas Erlebach
;
Michael Hoffmann
;
Frank Kammer
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Inapproximability;
Planar graphs;
Bounded treewidth;
Regularly present edges;
Irregularly present edges;
10.
Mind Your Coins: Fully Leakage-Resilient Signatures with Graceful Degradation
机译:
注意您的硬币:完全具有防泄漏功能且具有优雅的降级特征
作者:
Antonio Faonio
;
Jesper Buus Nielsen
;
Daniele Venturi
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Cryptography;
Leakage-resilience;
Signature schemes;
11.
Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare
机译:
大型市场中令人羡慕的定价:估计收入和福利
作者:
Elliot Anshelevich
;
Koushik Kar
;
Shreyas Sekar
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
12.
Batched Point Location in SINR Diagrams via Algebraic Tools
机译:
通过代数工具在SINR图中的批处理点位置
作者:
Boris Aronov
;
Matthew J. Katz
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
13.
A (1+ε)-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs
机译:
低高速公路尺寸图的(1 +ε)-嵌入有界树宽图
作者:
Andreas Emil Feldmann
;
Wai Shing Fung
;
Jochen Koenemann
;
Ian Post
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
14.
Lower Bounds for the Graph Homomorphism Problem
机译:
图同态问题的下界
作者:
Fedor V. Fomin
;
Alexander Golovnev
;
Alexander S. Kulikov
;
Ivan Mihajlin
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
15.
On the Randomized Competitive Ratio of Reordering Buffer Management with Non-Uniform Costs
机译:
成本不均匀的重排缓冲区管理的随机竞争比
作者:
Noa Avigdor-Elgrabli
;
Sungjin Im
;
Benjamin Moseley
;
Yuval Rabani
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
16.
Serving in the Dark should be done Non-Uniformly
机译:
在黑暗中侍奉应该不统一
作者:
Yossi Azar
;
Ilan Reuven Cohen
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
17.
Computing the Frechet Distance Between Polygons with Holes
机译:
计算带孔的多边形之间的弗氏距离
作者:
Amir Nayyeri
;
Anastasios Sidiropoulos
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
18.
An Improved Private Mechanism for Small Databases
机译:
小型数据库的一种改进的专用机制
作者:
Aleksandar Nikolov
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Differential privacy;
Convex optimization;
Competitive analysis;
19.
Binary Pattern Tile Set Synthesis Is NP-hard
机译:
二进制图案拼贴集合成是NP难的
作者:
Lila Kari
;
Steffen Kopecki
;
Pierre-Etienne Meunier
;
Matthew J. Patitz
;
Shinnosuke Seki
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
20.
Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree
机译:
Steiner树的参数化单指数时间多项式空间算法
作者:
Fedor V. Fomin
;
Petteri Kaski
;
Daniel Lokshtanov
;
Fahad Panolan
;
Saket Saurabh
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
21.
Relative Discrepancy Does not Separate Information and Communication Complexity
机译:
相对差异不能消除信息和通信的复杂性
作者:
Lila Fontes
;
Rahul Jain
;
Iordanis Kerenidis
;
Sophie Laplante
;
Mathieu Lauriere
;
Jeremie Roland
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
22.
Finding the Median (Obliviously) with Bounded Space
机译:
找出有界空间的中位数(显然)
作者:
Paul Beame
;
Vincent Liew
;
Mihai Patrascu
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
23.
Approximation Algorithms for Min-Sum k-Clustering and Balanced k-Median
机译:
最小和k聚类和平衡k中值的近似算法
作者:
Babak Behsaz
;
Zachary Friggstad
;
Mohammad R. Salavatipour
;
Rohit Sivakumar
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
24.
Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity
机译:
傅里叶稀疏度下布尔函数傅里叶维数的最佳上界
作者:
Swagato Sanyal
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
25.
Condensed Unpredictability
机译:
凝聚的不可预测性
作者:
Maciej Skorski
;
Alexander Golovnev
;
Krzysztof Pietrzak
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
26.
A Galois Connection for Valued Constraint Languages of Infinite Size
机译:
无限大小的有价约束语言的Galois连接
作者:
Peter Fulla
;
Stanislav Zivny
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
27.
Approximately Counting H-Colourings is #BIS-Hard
机译:
大约算H色是#BIS-Hard
作者:
Andreas Galanis
;
Leslie Ann Goldberg
;
Mark Jerrum
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
28.
Big Data on the Rise? Testing Monotonicity of Distributions
机译:
大数据正在崛起?测试分布的单调性
作者:
Clement L. Canonne
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
29.
Unit Interval Editing Is Fixed-Parameter Tractable
机译:
单位间隔编辑是固定参数可操作的
作者:
Yixin Cao
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
30.
Taylor Polynomial Estimator for Estimating Frequency Moments
机译:
用于估计频率矩的泰勒多项式估计器
作者:
Sumit Ganguly
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
31.
Solving Linear Programming with Constraints Unknown
机译:
用约束求解线性规划未知
作者:
Xiaohui Bei
;
Ning Chen
;
Shengyu Zhang
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
32.
Deterministic Randomness Extraction from Generalized and Distributed Santha-Vazirani Sources
机译:
从广义和分布式Santha-Vazirani来源确定性随机抽取
作者:
Salman Beigi
;
Omid Etesami
;
Amin Gohari
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
33.
Sherali-Adams Relaxations for Valued CSPs
机译:
Sherali-Adams对CSP的放宽
作者:
Johan Thapper
;
Stanislav Zivny
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
34.
Two-sided Online Bipartite Matching and Vertex Cover: Beating the Greedy Algorithm
机译:
双面在线二分匹配和顶点覆盖:击败贪婪算法
作者:
Yajun Wang
;
Sara Chiu-wai Wong
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
35.
Limitations of Algebraic Approaches to Graph Isomorphism Testing
机译:
图同构测试的代数方法的局限性
作者:
Christoph Berkholz
;
Martin Grohe
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
36.
Fully Dynamic Matching in Bipartite Graphs
机译:
二部图中的完全动态匹配
作者:
Aaron Bernstein
;
Cliff Stein
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
37.
The Simultaneous Communication of Disjointness with Applications to Data Streams
机译:
不相交的同时通信与数据流中的应用程序
作者:
Omri Weinstein
;
David P. Woodruff
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Multiparty communication complexity;
Information complexity;
Frequency moments;
Information theory;
38.
An Improved Combinatorial Algorithm for Boolean Matrix Multiplication
机译:
布尔矩阵乘法的改进组合算法
作者:
Huacheng Yu
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
39.
ETR-Completeness for Decision Versions of Multi-player (Symmetric) Nash Equilibria
机译:
多玩家(对称)纳什均衡决策版本的ETR完整性
作者:
Jugal Garg
;
Ruta Mehta
;
Vijay V. Vazirani
;
Sadra Yazdanbod
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
40.
Separate, Measure and Conquer: Faster Polynomial-Space Algorithms for Max 2-CSP and Counting Dominating Sets
机译:
分离,测量和征服:用于最大2-CSP和计数支配集的更快的多项式空间算法
作者:
Serge Gaspers
;
Gregory B. Sorkin
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
41.
Feasible Interpolation for QBF Resolution Calculi
机译:
QBF分辨率计算的可行插值
作者:
Olaf Beyersdorff
;
Leroy Chew
;
Meena Mahajan
;
Anil Shukla
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
42.
Simultaneous Approximation of Constraint Satisfaction Problems
机译:
约束满足问题的同时逼近
作者:
Amey Bhangale
;
Swastik Kopparty
;
Sushant Sachdeva
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
43.
Submatrix Maximum Queries in Monge Matrices Are Equivalent to Predecessor Search
机译:
Monge矩阵中的子矩阵最大查询与先前搜索等效
作者:
Pawel Gawrychowski
;
Shay Mozes
;
Oren Weimann
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
44.
Optimal Encodings for Range Top-k, Selection, and Min-Max
机译:
范围Top-k,选择和最小-最大的最佳编码
作者:
Pawel Gawrychowski
;
Patrick K. Nicholson
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
45.
Design of Dynamic Algorithms via Primal-Dual Method
机译:
基于原始对偶方法的动态算法设计
作者:
Sayan Bhattacharya
;
Monika Henzinger
;
Giuseppe F. Italiano
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
46.
What Percentage of Programs Halt?
机译:
程序的暂停百分比是多少?
作者:
Laurent Bienvenu
;
Damien Desfontaines
;
Alexander Shen
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
47.
The Parity of Set Systems Under Random Restrictions with Applications to Exponential Time Problems
机译:
集系统在随机约束下的奇偶性及其在指数时间问题中的应用
作者:
Andreas Bjoerklund
;
Holger Dell
;
Thore Husfeldt
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
48.
Streaming Algorithms for Submodular Function Maximization
机译:
亚模函数最大化的流算法
作者:
Chandra Chekuri
;
Shalmoli Gupta
;
Kent Quanrud
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
49.
Spotting Trees with Few Leaves
机译:
用很少的树叶发现树木
作者:
Andreas Bjoerklund
;
Vikram Kamat
;
Lukasz Kowalik
;
Meirav Zehavi
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
50.
Approximately Counting Locally-Optimal Structures
机译:
近似计算局部最优结构
作者:
Leslie Ann Goldberg
;
Rob Gysel
;
John Lapinskas
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
51.
Constraint Satisfaction Problems over the Integers with Successor
机译:
具有后继整数的约束满足问题
作者:
Manuel Bodirsky
;
Barnaby Martin
;
Antoine Mottet
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
52.
2-Vertex Connectivity in Directed Graphs
机译:
有向图的2顶点连通性
作者:
Loukas Georgiadis
;
Giuseppe F. Italiano
;
Luigi Laura
;
Nikos Parotsidis
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
53.
Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs (Extended Abstract)
机译:
上下文无关语言和一次性分支程序的邻近证明(扩展摘要)
作者:
Oded Goldreich
;
Tom Gur
;
Ron D. Rothblum
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
54.
Multilinear Pseudorandom Functions
机译:
多线性伪随机函数
作者:
Aloni Cohen
;
Justin Holmgren
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
55.
Zero-Fixing Extractors for Sub-Logarithmic Entropy
机译:
次对数熵的零固定提取器
作者:
Gil Cohen
;
Igor Shinkar
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
56.
Ground State Connectivity of Local Hamiltonians
机译:
局部哈密顿量的基态连通性
作者:
Sevag Gharibian
;
Jamie Sikora
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
57.
Hardness Amplification and the Approximate Degree of Constant-Depth Circuits
机译:
硬度放大和恒定深度电路的近似程度
作者:
Mark Bun
;
Justin Thaler
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
58.
Algorithms and Complexity for Turaev-Viro Invariants
机译:
Turaev-Viro不变量的算法和复杂性
作者:
Benjamin A. Burton
;
Clement Maria
;
Jonathan Spreer
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Computational Topology;
3-Manifolds;
Invariants;
#P-hardness;
Parameterised complexity;
59.
Fast Algorithms for Diameter-Optimally Augmenting Paths
机译:
直径最佳增强路径的快速算法
作者:
Ulrike Grosse
;
Joachim Gudmundsson
;
Christian Knauer
;
Michiel Smid
;
Fabian Stehn
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
60.
Uniform Kernelization Complexity of Hitting Forbidden Minors
机译:
打被禁止未成年人的统一内核复杂度
作者:
Archontia C. Giannopoulou
;
Bart M.P. Jansen
;
Daniel Lokshtanov
;
Saket Saurabh
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Kernelization;
Treedepth;
Minor-free deletion;
61.
Hollow Heaps
机译:
空心堆
作者:
Thomas Dueholm Hansen
;
Haim Kaplan
;
Robert E. Tarjan
;
Uri Zwick
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
62.
Linear-Time List Recovery of High-Rate Expander Codes
机译:
高速扩展器代码的线性时间列表恢复
作者:
Brett Hemenway
;
Mary Wootters
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
63.
Interactive Proofs with Approximately Commuting Provers
机译:
带有通勤证明的交互式证明
作者:
Matthew Coudron
;
Thomas Vidick
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
64.
Popular Matchings with Two-Sided Preferences and One-Sided Ties
机译:
具有两面偏好和一面关系的热门匹配
作者:
Agnes Cseh
;
Chien-Chung Huang
;
Telikepalli Kavitha
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
65.
Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time
机译:
在二次时间内找到2边和2顶点强连接的组件
作者:
Monika Henzinger
;
Sebastian Krinninger
;
Veronika Loitzenbauer
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
66.
Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs
机译:
有向图上递减的单源可达性的改进算法
作者:
Monika Henzinger
;
Sebastian Krinninger
;
Danupon Nanongkai
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Dynamic graph algorithms;
Reachability;
67.
Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity
机译:
块插值:紧指数时间计数复杂性的框架
作者:
Radu Curticapean
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
68.
On Convergence and Threshold Properties of Discrete Lotka-Volterra Population Protocols
机译:
离散Lotka-Volterra种群协议的收敛性和阈值性质
作者:
Jurek Czyzowicz
;
Leszek Gasieniec
;
Adrian Kosowski
;
Evangelos Kranakis
;
Paul G. Spirakis
;
Przemyslaw Uznanski
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
69.
Weighted Reordering Buffer Improved via Variants of Knapsack Covering Inequalities
机译:
加权重排序缓冲区通过背包覆盖不等式的变体得到改善
作者:
Sungjin Im
;
Benjamin Moseley
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
70.
Local Reductions
机译:
本地减少
作者:
Hamid Jahanjou
;
Eric Miles
;
Emanuele Viola
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
71.
Query Complexity in Expectation
机译:
期望中的查询复杂度
作者:
Jedrzej Kaniewski
;
Troy Lee
;
Ronald de Wolf
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
72.
Near-Linear Query Complexity for Graph Inference
机译:
图推理的近线性查询复杂度
作者:
Sampath Kannan
;
Claire Mathieu
;
Hang Zhou
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
73.
A QPTAS for the Base of the Number of Crossing-Free Structures on a Planar Point Set
机译:
基于平面点集上的无交叉结构数量的QPTAS
作者:
Marek Karpinski
;
Andrzej Lingas
;
Dzmitry Sledneu
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
74.
Finding a Path in Group-Labeled Graphs with Two Labels Forbidden
机译:
在带有两个标签的组标签图中查找路径
作者:
Yasushi Kawase
;
Yusuke Kobayashi
;
Yutaro Yamaguchi
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
75.
Lower Bounds for Sums of Powers of Low Degree Univariates
机译:
低度单变量幂和的下界
作者:
Neeraj Kayal
;
Pascal Koiran
;
Timothee Pecatte
;
Chandan Saha
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Arithmetic circuits;
Lower bounds;
Sums of powers;
Wronskian;
Shifted derivatives;
76.
Approximating CSPs Using LP Relaxation
机译:
使用LP松弛近似CSP
作者:
Subhash Khot
;
Rishi Saket
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
77.
Comparator Circuits over Finite Bounded Posets
机译:
有限边界集上的比较器电路
作者:
Balagopal Komarath
;
Jayalal Sarma
;
K.S. Sunil
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
78.
Algebraic Properties of Valued Constraint Satisfaction Problem
机译:
值约束满足问题的代数性质
作者:
Martin Kozik
;
Joanna Ochremiak
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
79.
Towards Understanding the Smoothed Approximation Ratio of the 2-Opt Heuristic
机译:
努力了解2-Opt启发式算法的平滑逼近比
作者:
Marvin Kuennemann
;
Bodo Manthey
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
80.
On the Hardest Problem Formulations for the 0/1 Lasserre Hierarchy
机译:
关于0/1 Lasserre层次结构的最难问题公式
作者:
Adam Kurpisz
;
Samuli Leppaenen
;
Monaldo Mastrolilli
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
81.
Replacing Mark Bits with Randomness in Fibonacci Heaps
机译:
用斐波那契堆中的随机性替换标记位
作者:
Jerry Li
;
John Peebles
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
82.
A PTAS for the Weighted Unit Disk Cover Problem
机译:
加权单位磁盘盖问题的PTAS
作者:
Jian Li
;
Yifei Jin
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
83.
Approximating the Expected Values for Combinatorial Optimization Problems over Stochastic Points
机译:
随机点上组合优化问题的期望值逼近
作者:
Lingxiao Huang
;
Jian Li
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
84.
Deterministic Truncation of Linear Matroids
机译:
线性拟阵的确定性截断
作者:
Daniel Lokshtanov
;
Pranabendu Misra
;
Fahad Panolan
;
Saket Saurabh
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
85.
Linear Time Parameterized Algorithms for Subset Feedback Vertex Set
机译:
子集反馈顶点集的线性时间参数化算法
作者:
Daniel Lokshtanov
;
M.S. Ramanujan
;
Saket Saurabh
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
86.
An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains
机译:
三角直线域中最小链接直线路径的最优算法
作者:
Joseph S.B. Mitchell
;
Valentin Polishchuk
;
Mikko Sysikaski
;
Haitao Wang
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
87.
Amplification of One-Way Information Complexity via Codes and Noise Sensitivity
机译:
通过代码和噪声灵敏度放大单向信息复杂性
作者:
Marco Molinaro
;
David P. Woodruff
;
Grigory Yaroslavtsev
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
88.
Preface
机译:
前言
作者:
Magnus M. Halldorsson
;
Kazuo Iwama
;
Naoki Kobayashi
;
Bettina Speckmann
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
89.
Scheduling Bidirectional Traffic on a Path
机译:
调度路径上的双向流量
作者:
Yann Disser
;
Max Klimm
;
Elisabeth Luebbecke
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Bidirectional traffic;
Scheduling;
Packet routing;
Computational complexity;
PTAS;
APX-hardness;
90.
Statistical Randomized Encodings: A Complexity Theoretic View
机译:
统计随机编码:复杂性理论观点
作者:
Shweta Agrawal
;
Yuval Ishai
;
Dakshita Khurana
;
Anat Paskin-Cherniavsky
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
意见反馈
回到顶部
回到首页