掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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.
Exact Weight Subgraphs and the k-Sum Conjecture
机译:
精确权重子图和k-和猜想
作者:
Amir Abboud
;
Kevin Lewi
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
2.
Minimizing Maximum (Weighted) Flow-Time on Related and Unrelated Machines
机译:
最小化相关和无关计算机上的最大(加权)流时间
作者:
S. Anand
;
Karl Bringmann
;
Tobias Friedrich
;
Naveen Garg
;
Amit Kumar
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
3.
Tight Lower Bound for Linear Sketches of Moments
机译:
力矩矩图的紧下界
作者:
Alexandr Andoni
;
Huy L. Nguyen
;
Yury Polyanskiy
;
Yihong Wu
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
4.
Optimal Partitioning for Dual Pivot Quicksort
机译:
Dual Pivot Quicksort的最佳分区
作者:
Martin Aumueller
;
Martin Dietzfelbinger
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
5.
Space-Time Tradeoffs for Subset Sum: An Improved Worst Case Algorithm
机译:
子集总和的时空权衡:一种改进的最坏情况算法
作者:
Per Austrin
;
Petteri Kaski
;
Mikko Koivisto
;
Jussi Maeaettae
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
6.
On the Extension Complexity of Combinatorial Polytopes
机译:
组合多态性的扩展复杂性
作者:
David Avis
;
Hans Raj Tiwary
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
7.
Algorithms for Hub Label Optimization
机译:
集线器标签优化算法
作者:
Maxim Babenko
;
Andrew V. Goldberg
;
Anupam Gupta
;
Viswanath Nagarajan
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
8.
Improved Approximation Algorithms for (Budgeted) Node-Weighted Steiner Problems
机译:
(预算)节点加权Steiner问题的改进的近似算法
作者:
MohammadHossein Bateni
;
MohammadTaghi Hajiaghayi
;
Vahid Liaghat
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
9.
Search-Space Size in Contraction Hierarchies
机译:
收缩层次结构中的搜索空间大小
作者:
Reinhard Bauer
;
Tobias Columbus
;
Ignaz Rutter
;
Dorothea Wagner
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
10.
Time-Efficient Quantum Walks for 3-Distinctness
机译:
节省时间的量子行走,实现了3个不同点
作者:
Aleksandrs Belovs
;
Andrew M. Childs
;
Stacey Jeffery
;
Robin Kothari
;
Frederic Magniez
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
11.
An Algebraic Characterization of Testable Boolean CSPs
机译:
可测试布尔CSP的代数表征
作者:
Arnab Bhattacharyya
;
Yuichi Yoshida
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
12.
Approximation Algorithms for the Joint Replenishment Problem with Deadlines
机译:
有期限联合补货问题的近似算法
作者:
Marcin Bienkowski
;
Jaroslaw Byrka
;
Marek Chrobak
;
Neil Dobbs
;
Tomasz Nowicki
;
Maxim Sviridenko
;
Grzegorz Swirszcz
;
Neal E. Young
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
关键词:
Joint replenishment problem with deadlines;
inventory theory;
linear programming;
integrality gap;
randomized rounding;
approximation algorithm;
13.
Sparse Suffix Tree Construction in Small Space
机译:
小空间中的后缀树稀疏构建
作者:
Philip Bille
;
Johannes Fischer
;
Inge Li Gortz
;
Tsvi Kopelowitz
;
Benjamin Sach
;
Hjalte Wedel Vildhoj
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
14.
Tree Compression with Top Trees
机译:
树顶压缩
作者:
Philip Bille
;
Inge Li Gortz
;
Gad M. Landau
;
Oren Weimann
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
15.
Noncommutativity Makes Determinants Hard
机译:
非交换性使行列式很难
作者:
Markus Blaeser
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
16.
Optimal Orthogonal Graph Drawing with Convex Bend Costs
机译:
具有凸弯曲成本的最优正交图绘制
作者:
Thomas Blaesius
;
Ignaz Rutter
;
Dorothea Wagner
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
17.
Deterministic Single Exponential Time Algorithms for Connectivity Problems Parameterized by Treewidth
机译:
树宽参数化的连通性问题的确定性单指数时间算法
作者:
Hans L. Bodlaender
;
Marek Cygan
;
Stefan Kratsch
;
Jesper Nederlof
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
18.
On the Complexity of Higher Order Abstract Voronoi Diagrams
机译:
关于高阶抽象Voronoi图的复杂性
作者:
Cecilia Bohler
;
Panagiotis Cheilaris
;
Rolf Klein
;
Chih-Hung Liu
;
Evanthia Papadopoulou
;
Maksym Zavershynskyi
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
关键词:
Abstract Voronoi diagrams;
computational geometry;
distance problems;
higher order Voronoi diagrams;
Voronoi diagrams;
19.
A Pseudo-Polynomial Algorithm for Mean Payoff Stochastic Games with Perfect Information and a Few Random Positions
机译:
具有完美信息和少量随机位置的均值随机随机博弈的伪多项式算法
作者:
Endre Boros
;
Khaled Elbassioni
;
Vladimir Gurvich
;
Kazuhisa Makino
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
20.
Direct Product via Round-Preserving Compression
机译:
通过保全压缩直接生产产品
作者:
Mark Braverman
;
Anup Rao
;
Omri Weinstein
;
Amir Yehudayoff
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
21.
How Hard Is Counting Triangles in the Streaming Model?
机译:
在流模型中计算三角形有多难?
作者:
Vladimir Braverman
;
Rafail Ostrovsky
;
Dan Vilenchik
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
22.
Online Checkpointing with Improved Worst-Case Guarantees
机译:
具有最坏情况保证的在线检查点
作者:
Karl Bringmann
;
Benjamin Doerr
;
Adrian Neumann
;
Jakub Sliacan
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
23.
Exact and Efficient Generation of Geometric Random Variates and Random Graphs
机译:
精确有效地生成几何随机变量和随机图
作者:
Karl Bringmann
;
Tobias Friedrich
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
24.
Finding Short Paths on Polytopes by the Shadow Vertex Algorithm
机译:
通过阴影顶点算法在多面体上查找短路径
作者:
Tobias Brunsch
;
Heiko Roeglin
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
25.
On Randomized Online Labeling with Poly normally Many Labels
机译:
关于通常具有多个标签的随机在线标签
作者:
Jan Bulanek
;
Michal Koucky
;
Michael Saks
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
26.
Dual Lower Bounds for Approximate Degree and Markov-Bernstein Inequalities
机译:
近似度和Markov-Bernstein不等式的双重下界
作者:
Mark Bun
;
Justin Thaler
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
27.
New Doubling Spanners: Better and Simpler
机译:
新的加倍扳手:更好,更简单
作者:
T.-H. Hubert Chan
;
Mingfei Li
;
Li Ning
;
Shay Solomon
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
28.
Maximum Edge-Disjoint Paths in k-Sums of Graphs
机译:
图的k和中的最大边不相交路径
作者:
Chandra Chekuri
;
Guyslain Naves
;
F. Bruce Shepherd
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
29.
On Integrality Ratios for Asymmetric TSP in the Sherali-Adams Hierarchy
机译:
Sherali-Adams层次结构中非对称TSP的积分比
作者:
Joseph Cheriyan
;
Zhihan Gao
;
Konstantinos Georgiou
;
Sahil Singla
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
30.
Counting Matchings of Size k Is #W1-Hard
机译:
大小为k的匹配计数为#W 1 -Hard
作者:
Radu Curticapean
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
31.
Faster Exponential-Time Algorithms in Graphs of Bounded Average Degree
机译:
有界平均度图中的更快指数时间算法
作者:
Marek Cygan
;
Marcin Pilipczuk
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
32.
A Robust Khintchine Inequality, and Algorithms for Computing Optimal Constants in Fourier Analysis and High-Dimensional Geometry
机译:
鲁棒的Khintchine不等式,以及在傅立叶分析和高维几何中计算最佳常数的算法
作者:
Anindya De
;
Ilias Diakonikolas
;
Rocco Servedio
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
33.
Combining Binary Search Trees
机译:
组合二叉搜索树
作者:
Erik D. Demaine
;
John Iacono
;
Stefan Langerman
;
OEzguer OEzkan
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
34.
The Two-Handed Tile Assembly Model Is Not Intrinsically Universal
机译:
双手砖瓦装配模型本质上并不通用
作者:
Erik D. Demaine
;
Matthew J. Patitz
;
Trent A. Rogers
;
Robert T. Schweller
;
Scott M. Summers
;
Damien Woods
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
35.
Clustering in the Boolean Hypercube in a List Decoding Regime
机译:
列表解码方式中的布尔超立方体中的聚类
作者:
Irit Dinur
;
Elazar Goldenberg
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
关键词:
Clustering;
list decoding;
approximation algorithms;
36.
A Combinatorial Polynomial Algorithm for the Linear Arrow-Debreu Market
机译:
线性箭头-德布鲁市场的组合多项式算法
作者:
Ran Duan
;
Kurt Mehlhorn
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
37.
Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds
机译:
对多项式微积分的理解:新的分离和下界
作者:
Yuval Filmus
;
Massimo Lauria
;
Mladen Miksa
;
Jakob Nordstroem
;
Marc Vinyals
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
38.
On the Power of Deterministic Mechanisms for Facility Location Games
机译:
论设施定位游戏确定性机制的力量
作者:
Dimitris Fotakis
;
Christos Tzamos
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
39.
ℓ_2/ℓ_2-Foreach Sparse Recovery with Low Risk
机译:
ℓ_2/ℓ_2-低风险的Foreach稀疏恢复
作者:
Anna C. Gilbert
;
Hung Q. Ngo
;
Ely Porat
;
Atri Rudra
;
Martin J. Strauss
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
40.
Autoreducibility of Complete Sets for Log-Space and Polynomial-Time Reductions
机译:
对数空间和多项式时间约简的成套集合的自动约简
作者:
Christian Glasser
;
Dung T. Nguyen
;
Christian Reitwiessner
;
Alan L. Selman
;
Maximilian Witek
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
41.
An Incremental Polynomial Time Algorithm to Enumerate All Minimal Edge Dominating Sets
机译:
增量多项式时间算法来枚举所有最小边控制集
作者:
Petr A. Golovach
;
Pinar Heggernes
;
Dieter Kratsch
;
Yngve Villanger
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
42.
Deciding the Winner of an Arbitrary Finite Poset Game Is P SPACE-Complete
机译:
决定任意有限Poset游戏的获胜者是P SPACE-Complete
作者:
Daniel Grier
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
43.
Dynamic Compressed Strings with Random Access
机译:
随机访问的动态压缩字符串
作者:
Roberto Grossi
;
Rajeev Raman
;
Satti Srinivasa Rao
;
Rossano Venturini
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
44.
The Complexity of Planar Boolean #CSP with Complex Weights
机译:
具有复杂权重的平面布尔#CSP的复杂度
作者:
Heng Guo
;
Tyson Williams
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
45.
Arthur-Merlin Streaming Complexity
机译:
亚瑟·梅林流媒体复杂性
作者:
Tom Gur
;
Ran Raz
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
关键词:
Probabilistic Proof Systems;
Data Streams;
Communication Complexity;
46.
Local Correctability of Expander Codes
机译:
扩展器代码的本地正确性
作者:
Brett Hemenway
;
Rafail Ostrovsky
;
Mary Wootters
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
关键词:
error correcting codes;
expander codes;
locally decodable codes;
47.
On the Complexity of Broadcast Setup
机译:
广播设置的复杂性
作者:
Martin Hirt
;
Pavel Raykov
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
48.
On Model-Based RIP-1 Matrices
机译:
基于模型的RIP-1矩阵
作者:
Piotr Indyk
;
Ilya Razenshteyn
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
49.
Robust Pseudorandom Generators
机译:
强大的伪随机发生器
作者:
Yuval Ishai
;
Eyal Kushilevitz
;
Xin Li
;
Rafail Ostrovsky
;
Manoj Prabhakaran
;
Amit Sahai
;
David Zuckerman
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
50.
A Robust AFPTAS for Online Bin Packing with Polynomial Migration
机译:
用于多项式迁移的在线装箱的稳健AFPTAS
作者:
Klaus Jansen
;
Kim-Manuel Klein
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
51.
Small Stretch Pairwise Spanners
机译:
小弹力成对扳手
作者:
Telikepalli Kavitha
;
Nithin M. Varma
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
52.
Linear Kernels and Single-Exponential Algorithms via Protrusion Decompositions
机译:
通过凸分解的线性核和单指数算法
作者:
Eun Jung Kim
;
Alexander Langer
;
Christophe Paul
;
Felix Reidl
;
Peter Rossmanith
;
Ignasi Sau
;
Somnath Sikdar
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
关键词:
parameterized complexity;
linear kernels;
algorithmic meta-theorems;
sparse graphs;
single-exponential algorithms;
graph minors;
53.
The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization
机译:
有限值CSP的线性规划的力量:建设性表征
作者:
Vladimir Kolmogorov
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
54.
Approximating Semi-matchings in Streaming and in Two-Party Communication
机译:
流和两方通信中的近似半匹配
作者:
Christian Konrad
;
Adi Rosen
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
55.
Full-Fledged Real-Time Indexing for Constant Size Alphabets
机译:
固定大小字母的完整实时索引
作者:
Gregory Kucherov
;
Yakov Nekrich
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
56.
Arithmetic Circuit Lower Bounds via MaxRank
机译:
通过MaxRank的算术电路下界
作者:
Mrinal Kumar
;
Gaurav Maheshwari
;
Jayalal Sarma M.N.
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
57.
Model Checking Lower Bounds for Simple Graphs
机译:
模型检查简单图形的下界
作者:
Michael Lampis
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
58.
The Complexity of Proving That a Graph Is Ramsey
机译:
证明图是拉姆齐的复杂性
作者:
Massimo Lauria
;
Pavel Pudlak
;
Vojtech Roedl
;
Neil Thapen
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
59.
An Improved Lower Bound for the Randomized Decision Tree Complexity of Recursive Majority
机译:
递归多数的随机决策树复杂度的改进下界
作者:
Nikos Leonardos
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
关键词:
Boolean functions;
randomized computation;
decision tree complexity;
query complexity;
lower bounds;
generalized costs;
60.
A Quasi-Polynomial Time Partition Oracle for Graphs with an Excluded Minor
机译:
拟多项式时间分区Oracle,用于排除小图的图形
作者:
Reut Levi
;
Dana Ron
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
61.
Fixed-Parameter Algorithms for Minimum Cost Edge-Connectivity Augmentation
机译:
最小成本的边缘连接增强的固定参数算法
作者:
Daniel Marx
;
Laszlo A. Vegh
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
62.
Graph Reconstruction via Distance Oracles
机译:
通过距离Oracle重建图
作者:
Claire Mathieu
;
Hang Zhou
会议名称:
《》
|
2013年
63.
Dual Techniques for Scheduling on a Machine with Varying Speed
机译:
在变速机器上调度的双重技术
作者:
Nicole Megow
;
Jose Verschae
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
64.
Improved Space Bounds for Strongly Competitive Randomized Paging Algorithms
机译:
竞争激烈的随机分页算法的改进空间界限
作者:
Gabriel Moruz
;
Andrei Negoescu
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
65.
No-Wait Flowshop Scheduling Is as Hard as Asymmetric Traveling Salesman Problem
机译:
不等式的流水作业调度与非对称旅行商问题一样困难
作者:
Marcin Mucha
;
Maxim Sviridenko
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
66.
A Composition Theorem for the Fourier Entropy-Influence Conjecture
机译:
傅立叶熵影响猜想的一个合成定理
作者:
Ryan ODonnell
;
Li-Yang Tan
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
67.
Large Neighborhood Local Search for the Maximum Set Packing Problem
机译:
大型邻域本地搜索最大集包装问题
作者:
Maxim Sviridenko
;
Justin Ward
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
68.
The Complexity of Three-Element Min-Sol and Conservative Min-Cost-Hom
机译:
三元素最小溶胶和保守的最小成本算子的复杂性
作者:
Hannes Uppman
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
69.
The Complexity of Infinitely Repeated Alternating Move Games
机译:
无限重复交替移动博弈的复杂性
作者:
Yaron Velner
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
70.
Approximating the Diameter of Planar Graphs in Near Linear Time
机译:
在近似线性时间内近似平面图的直径
作者:
Oren Weimann
;
Raphael Yuster
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
71.
Testing Linear-Invariant Function Isomorphism
机译:
测试线性不变函数同构
作者:
Karl Wimmer
;
Yuichi Yoshida
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
72.
Preface
机译:
前言
作者:
Fedor V. Fomin
;
Rusins Freivalds
;
Marta Kwiatkowska
;
David Peleg
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
73.
Silent Transitions in Automata with Storage
机译:
使用存储的自动机静音转换
作者:
Georg Zetzsche
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
74.
Nondeterminism in the Presence of a Diverse or Unknown Future
机译:
在不同或未知的未来存在下的不确定
作者:
Udi Boker
;
Denis Kuperberg
;
Orna Kupferman
;
Michal Skrzypczak
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
75.
Fixed-Parameter Algorithms for Minimum Cost Edge-Connectivity Augmentation
机译:
最小成本边缘连接增强的固定参数算法
作者:
Daniel Marx
;
Laszlo A. Vegh
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
76.
Improved Approximation Algorithms for (Budgeted) Node-Weighted Steiner Problems
机译:
(预算)节点加权施特纳问题的改进近似算法
作者:
MohammadHossein Bateni
;
MohammadTaghi Hajiaghayi
;
Vahid Liaghat
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
77.
Self-shuffling Words
机译:
sh
作者:
Emilie Charlier
;
Teturo Kamae
;
Svetlana Puzynina
;
Luca Q. Zamboni
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
78.
Small Stretch Pairwise Spanners
机译:
小拉伸成对扳手
作者:
Telikepalli Kavitha
;
Nithin M. Varma
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
79.
Arithmetic Circuit Lower Bounds via MaxRank
机译:
算术电路通过MAXRANK下限
作者:
Mrinal Kumar
;
Gaurav Maheshwari
;
Jayalal Sarma M.N.
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
80.
Sublinear-Time Maintenance of Breadth-First Spanning Tree in Partially Dynamic Networks
机译:
部分动态网络中的宽度跨越树的Sublinear-time维护
作者:
Monika Henzinger
;
Sebastian Krinninger
;
Danupon Nanongkai
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
81.
How Hard Is Counting Triangles in the Streaming Model?
机译:
在流模型中计算三角形是多么努力?
作者:
Vladimir Braverman
;
Rafail Ostrovsky
;
Dan Vilenchik
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
82.
Dual Lower Bounds for Approximate Degree and Markov-Bernstein Inequalities
机译:
近似程度和马尔可夫 - 伯恩斯坦不等式的双下界
作者:
Mark Bun
;
Justin Thaler
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
83.
Linear Kernels and Single-Exponential Algorithms via Protrusion Decompositions
机译:
线性核和单指数算法通过突出分解
作者:
Eun Jung Kim
;
Alexander Langer
;
Christophe Paul
;
Felix Reidl
;
Peter Rossmanith
;
Ignasi Sau
;
Somnath Sikdar
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
关键词:
parameterized complexity;
linear kernels;
algorithmic meta-theorems;
sparse graphs;
single-exponential algorithms;
graph minors;
84.
Arthur-Merlin Streaming Complexity
机译:
亚瑟 - 梅林流媒体复杂性
作者:
Tom Gur
;
Ran Raz
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
关键词:
Probabilistic Proof Systems;
Data Streams;
Communication Complexity;
85.
Physarum Can Compute Shortest Paths: Convergence Proofs and Complexity Bounds
机译:
Physarum可以计算最短路径:收敛证明和复杂性界限
作者:
Luca Becchetti
;
Vincenzo Bonifaci
;
Michael Dirnberger
;
Andreas Karrenbauer
;
Kurt Mehlhorn
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
86.
Coeffects: Unified Static Analysis of Context-Dependence
机译:
COEFFECTS:上下文依赖的统一静态分析
作者:
Tomas Petricek
;
Dominic Orchard
;
Alan Mycroft
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
87.
The Complexity of Proving That a Graph Is Ramsey
机译:
证明图形是Ramsey的复杂性
作者:
Massimo Lauria
;
Pavel Pudlak
;
Vojtech Roedl
;
Neil Thapen
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
88.
Dual Techniques for Scheduling on a Machine with Varying Speed
机译:
用于在具有不同速度的机器上调度的双技术
作者:
Nicole Megow
;
Jose Verschae
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
89.
Checking Equality and Regularity for Normed BPA with Silent Moves
机译:
用静音移动检查规范BPA的平等和规律性
作者:
Yuxi Fu
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
90.
Localization for a System of Colliding Robots
机译:
用于碰撞机器人系统的本地化
作者:
Jurek Czyzowicz
;
Evangelos Kranakis
;
Eduardo Pacheco
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
91.
A Composition Theorem for the Fourier Entropy-Influence Conjecture
机译:
傅里叶熵影响猜想的组成定理
作者:
Ryan ODonnell
;
Li-Yang Tan
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
92.
Reachability in Two-Clock Timed Automata Is PSPACE-Complete
机译:
双时钟定时自动机的可达性是pspace-complete
作者:
John Fearnley
;
Marcin Jurdzinski
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
93.
A Maximal Entropy Stochastic Process for a Timed Automaton
机译:
定时自动机的最大熵随机过程
作者:
Nicolas Basset
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
94.
Fast Distributed Coloring Algorithms for Triangle-Free Graphs
机译:
三角形图的快速分布着色算法
作者:
Seth Pettie
;
Hsin-Hao Su
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
95.
Algebras, Automata and Logic for Languages of Labeled Birooted Trees
机译:
标记为Birooted树的语言的代数,自动机和逻辑
作者:
David Janin
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
96.
Temporal Network Optimization Subject to Connectivity Constraints
机译:
时间网络优化受连接约束
作者:
George B. Mertzios
;
Othon Michail
;
Ioannis Chatzigiannakis
;
Paul G. Spirakis
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
97.
Optimal Partitioning for Dual Pivot Quicksort
机译:
双枢轴Quicksort的最佳分区
作者:
Martin Aumueller
;
Martin Dietzfelbinger
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
98.
Strong Bounds for Evolution in Networks
机译:
网络中演进的强烈界限
作者:
George B. Mertzios
;
Paul G. Spirakis
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
99.
From Security Protocols to Pushdown Automata
机译:
从安全协议到推动自动机
作者:
Remy Chretien
;
Veronique Cortier
;
Stephanie Delaune
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
100.
Full-Fledged Real-Time Indexing for Constant Size Alphabets
机译:
恒定大小字母的全面实时索引
作者:
Gregory Kucherov
;
Yakov Nekrich
会议名称:
《International colloquium on automata, languages and programming》
|
2013年
意见反馈
回到顶部
回到首页