掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
)
清除
导出
共
356
条结果
1.
Linear Time Parameterized Algorithms for Subset Feedback Vertex Set
机译:
子集反馈顶点集的线性时间参数化算法
作者:
Daniel Lokshtanov
;
M.S. Ramanujan
;
Saket Saurabh
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
2.
Baire Category Quantifier in Monadic Second Order Logic
机译:
Monadic二阶逻辑中的Baire类别量化
作者:
Henryk Michalewski
;
Matteo Mio
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Monadic second order logic;
Baire category;
pCTL~*;
3.
A Simple and Optimal Ancestry Labeling Scheme for Trees
机译:
树木简单而最佳的祖先标签方案
作者:
Soren Dahlgaard
;
Mathias Baek Tejs Knudsen
;
Noy Rotbart
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
4.
On the Complexity of Intersecting Regular, Context-Free, and Tree Languages
机译:
关于与常规,无论如何和树语语言交叉的复杂性
作者:
Joseph Swernofsky
;
Michael Wehar
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
5.
Incentive Networks
机译:
激励网络
作者:
Thomas Moscibroda
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
6.
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年
7.
Spotting Trees with Few Leaves
机译:
用少年斑点发现树木
作者:
Andreas Bjoerklund
;
Vikram Kamat
;
Lukasz Kowalik
;
Meirav Zehavi
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
8.
Simultaneous Approximation of Constraint Satisfaction Problems
机译:
同时逼近约束满足问题
作者:
Amey Bhangale
;
Swastik Kopparty
;
Sushant Sachdeva
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
9.
Weighted Reordering Buffer Improved via Variants of Knapsack Covering Inequalities
机译:
加权重新排序缓冲器通过背包覆盖不等式的变型改善
作者:
Sungjin Im
;
Benjamin Moseley
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
10.
Approximating the Expected Values for Combinatorial Optimization Problems over Stochastic Points
机译:
近似随机点组合优化问题的预期值
作者:
Lingxiao Huang
;
Jian Li
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
11.
Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes
机译:
最大的概率最小值/最大多项式方程的定点,以及分支马尔可夫决策过程的可达性
作者:
Kousha Etessami
;
Alistair Stewart
;
Mihalis Yannakakis
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
12.
Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity
机译:
块插值:严格指数时间计数复杂性的框架
作者:
Radu Curticapean
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
13.
Approximation Algorithms for Min-Sum k-Clustering and Balanced k-Median
机译:
MIN-SUM k聚类和平衡k中位数的近似算法
作者:
Babak Behsaz
;
Zachary Friggstad
;
Mohammad R. Salavatipour
;
Rohit Sivakumar
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
14.
Symmetric Strategy Improvement
机译:
对称策略改进
作者:
Sven Schewe
;
Ashutosh Trivedi
;
Thomas Varghese
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
15.
Design of Dynamic Algorithms via Primal-Dual Method
机译:
Primal-Dual方法设计动态算法
作者:
Sayan Bhattacharya
;
Monika Henzinger
;
Giuseppe F. Italiano
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
16.
Fixed Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs
机译:
低高速公路尺寸图中K中心问题的固定参数近似
作者:
Andreas Emil Feldmann
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
17.
Feasible Interpolation for QBF Resolution Calculi
机译:
QBF分辨率计算的可行插值
作者:
Olaf Beyersdorff
;
Leroy Chew
;
Meena Mahajan
;
Anil Shukla
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
18.
Hollow Heaps
机译:
空心堆
作者:
Thomas Dueholm Hansen
;
Haim Kaplan
;
Robert E. Tarjan
;
Uri Zwick
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
19.
Approximation Algorithms for Computing Maximin Share Allocations
机译:
用于计算Maximin共享分配的近似算法
作者:
Georgios Amanatidis
;
Evangelos Markakis
;
Afshin Nikzad
;
Amin Saberi
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
20.
Effect Algebras, Presheaves, Non-locality and Contextuality
机译:
效果代数,预平,非地方性和语境性
作者:
Sam Staton
;
Sander Uijlen
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
21.
Linear-Time List Recovery of High-Rate Expander Codes
机译:
线性时间列表恢复高速扩展器代码
作者:
Brett Hemenway
;
Mary Wootters
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
22.
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年
23.
Analysis of Probabilistic Systems via Generating Functions and Pade Approximation
机译:
通过生成函数和PACE近似分析概率系统
作者:
Michele Boreale
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
24.
From Sequential Specifications to Eventual Consistency
机译:
从顺序规范到最终一致性
作者:
Radha Jagadeesan
;
James Riely
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
25.
Multilinear Pseudorandom Functions
机译:
多线性伪随机功能
作者:
Aloni Cohen
;
Justin Holmgren
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
26.
The Odds of Staying on Budget
机译:
保持预算的几率
作者:
Christoph Haase
;
Stefan Kiefer
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
27.
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年
28.
Ground State Connectivity of Local Hamiltonians
机译:
地球连接当地汉密尔顿人的连接
作者:
Sevag Gharibian
;
Jamie Sikora
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
29.
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年
30.
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension
机译:
关于一个维度下推矢量加法系统的覆盖性问题
作者:
Jerome Leroux
;
Gregoire Sutre
;
Patrick Totzke
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
31.
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年
32.
A (1+ε)-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs
机译:
a(1 +ε) - 低速公路尺寸图的-embedded界面的树木宽度图
作者:
Andreas Emil Feldmann
;
Wai Shing Fung
;
Jochen Koenemann
;
Ian Post
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
33.
Symmetric Graph Properties Have Independent Edges
机译:
对称图属性具有独立的边缘
作者:
Dimitris Achlioptas
;
Paris Siminelakis
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
34.
Towards the Graph Minor Theorems for Directed Graphs
机译:
朝着指导图表的图形次要定理
作者:
Ken-ichi Kawarabayashi
;
Stephan Kreutzer
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
35.
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年
36.
Nominal Kleene Coalgebra
机译:
标称Kleene CooldeBra.
作者:
Dexter Kozen
;
Konstantinos Mamouras
;
Daniela Petrisan
;
Alexandra Silva
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
37.
Tight Bounds for Cost-Sharing in Weighted Congestion Games
机译:
加权拥堵游戏成本共享的紧张界限
作者:
Martin Gairing
;
Konstantinos Kollias
;
Grammateia Kotsialou
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
38.
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年
39.
A Galois Connection for Valued Constraint Languages of Infinite Size
机译:
无限大小的值约束语言的Galois连接
作者:
Peter Fulla
;
Stanislav Zivny
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
40.
Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare
机译:
大市场无嫉妒定价:近似收入和福利
作者:
Elliot Anshelevich
;
Koushik Kar
;
Shreyas Sekar
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
41.
Fast Algorithms for Structured Sparsity
机译:
用于结构稀疏性的快速算法
作者:
Piotr Indyk
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
42.
On Planar Boolean CSP
机译:
在平面布尔CSP上
作者:
Zdenek Dvorak
;
Martin Kupec
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
43.
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;
44.
Approximately Counting Locally-Optimal Structures
机译:
大致计数局部最佳结构
作者:
Leslie Ann Goldberg
;
Rob Gysel
;
John Lapinskas
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
45.
Decision Problems of Tree Transducers with Origin
机译:
树木换能器的决策问题
作者:
Emmanuel Filiot
;
Sebastian Maneth
;
Pierre-Alain Reynier
;
Jean-Marc Talbot
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
46.
Selling Two Goods Optimally
机译:
最佳地销售两种商品
作者:
Yiannis Giannakopoulos
;
Elias Koutsoupias
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
47.
Adaptively Secure Coin-Flipping, Revisited
机译:
自适应安全的硬币翻转,重新审视
作者:
Shafi Goldwasser
;
Yael Tauman Kalai
;
Sunoo Park
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
48.
Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree
机译:
施特纳树的参数化单指数时间多项式空间算法
作者:
Fedor V. Fomin
;
Petteri Kaski
;
Daniel Lokshtanov
;
Fahad Panolan
;
Saket Saurabh
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
49.
What Percentage of Programs Halt?
机译:
什么百分比的程序停止?
作者:
Laurent Bienvenu
;
Damien Desfontaines
;
Alexander Shen
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
50.
Owicki-Gries Reasoning for Weak Memory Models
机译:
Owicki-Gries弱记忆模型的推理
作者:
Ori Lahav
;
Viktor Vafeiadis
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
51.
Trading Bounds for Memory in Games with Counters
机译:
与计数器的游戏中的内存交易界限
作者:
Nathanaeel Fijalkow
;
Florian Horn
;
Denis Kuperberg
;
Michal Skrzypczak
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
52.
Big Data on the Rise? Testing Monotonicity of Distributions
机译:
上升的大数据?测试分布单调性
作者:
Clement L. Canonne
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
53.
Automated Synthesis of Distributed Controllers
机译:
自动合成分布式控制器
作者:
Anca Muscholl
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
54.
On the Diameter of Hyperbolic Random Graphs
机译:
关于双曲线随机图的直径
作者:
Tobias Friedrich
;
Anton Krohmer
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
55.
Broadcast from Minicast Secure Against General Adversaries
机译:
从雄斯坦广播防止一般对手
作者:
Pavel Raykov
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
56.
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;
57.
Limited Set Quantifiers over Countable Linear Orderings
机译:
有限的设置数量符号可数线性排列
作者:
Thomas Colcombet
;
A.V. Sreejith
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Linear orderings;
Algebraic characterization;
Monadic second order logic;
58.
Short Proofs of the Kneser-Lovasz Coloring Principle
机译:
Kneser-Lovasz着色原理的短缺
作者:
James Aisenberg
;
Maria Luisa Bonet
;
Sam Buss
;
Adrian Craciun
;
Gabriel Istrate
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
59.
Natural Homology
机译:
自然同源性
作者:
Jeremy Dubut
;
Eric Goubault
;
Jean Goubault-Larrecq
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Directed algebraic topology;
Homology;
Path space;
Geometric semantics;
Persistent homology;
Natural system;
60.
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年
61.
Dynamic Graphs: Time, Space and Communication
机译:
动态图表:时间,空间和通信
作者:
Valerie King
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
62.
Ultra-Fast Load Balancing on Scale-Free Networks
机译:
在无规模网络上的超快速负载平衡
作者:
Karl Bringmann
;
Tobias Friedrich
;
Martin Hoefer
;
Ralf Rothenberger
;
Thomas Sauerwald
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
63.
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;
64.
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年
65.
Containment of Monadic Datalog Programs via Bounded Clique-Width
机译:
通过限定的Clique-宽度容纳Monadic Datalog程序
作者:
Mikolaj Bojanczyk
;
Filip Murlak
;
Adam Witkowski
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
66.
Deterministic Truncation of Linear Matroids
机译:
确定性截断线性matroids的截断
作者:
Daniel Lokshtanov
;
Pranabendu Misra
;
Fahad Panolan
;
Saket Saurabh
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
67.
Automated Synthesis of Distributed Controllers
机译:
自动合成分布式控制器
作者:
Anca Muscholl
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
68.
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年
69.
Distributed Broadcast Revisited: Towards Universal Optimality
机译:
分布式广播重新审视:迈向普遍的最优性
作者:
Mohsen Ghaffari
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
70.
Optimal Encodings for Range Top-k, Selection, and Min-Max
机译:
范围Top-K,选择和Min-Max的最佳编码
作者:
Pawel Gawrychowski
;
Patrick K. Nicholson
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
71.
Constraint Satisfaction Problems over the Integers with Successor
机译:
与后继的整数约束满足问题
作者:
Manuel Bodirsky
;
Barnaby Martin
;
Antoine Mottet
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
72.
Statistical Randomized Encodings: A Complexity Theoretic View
机译:
统计随机编码:复杂性理论视图
作者:
Shweta Agrawal
;
Yuval Ishai
;
Dakshita Khurana
;
Anat Paskin-Cherniavsky
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
73.
Computing the Frechet Distance Between Polygons with Holes
机译:
使用孔之间计算多边形之间的Freechet距离
作者:
Amir Nayyeri
;
Anastasios Sidiropoulos
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
74.
An Improved Combinatorial Algorithm for Boolean Matrix Multiplication
机译:
布尔矩阵乘法的改进组合算法
作者:
Huacheng Yu
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
75.
Finding the Median (Obliviously) with Bounded Space
机译:
找到有界空间的中位数(不礼貌)
作者:
Paul Beame
;
Vincent Liew
;
Mihai Patrascu
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
76.
An Algebraic Geometric Approach to Nivat's Conjecture
机译:
尼维特猜想的代数几何方法
作者:
Jarkko Kari
;
Michal Szabados
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
77.
Binary Pattern Tile Set Synthesis Is NP-hard
机译:
二进制图案瓷砖集合合成是NP-HARD
作者:
Lila Kari
;
Steffen Kopecki
;
Pierre-Etienne Meunier
;
Matthew J. Patitz
;
Shinnosuke Seki
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
78.
Parsimonious Types and Non-uniform Computation
机译:
解析类型和非均匀计算
作者:
Damiano Mazza
;
Kazushige Terui
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
79.
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年
80.
An Improved Private Mechanism for Small Databases
机译:
一种改进的小型数据库的私有机制
作者:
Aleksandar Nikolov
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Differential privacy;
Convex optimization;
Competitive analysis;
81.
Compressed Tree Canonization
机译:
压缩的树典可化
作者:
Markus Lohrey
;
Sebastian Maneth
;
Fabian Peternek
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
82.
Solving Linear Programming with Constraints Unknown
机译:
用约束未知的线性编程
作者:
Xiaohui Bei
;
Ning Chen
;
Shengyu Zhang
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
83.
Provenance Circuits for Trees and Treelike Instances
机译:
用于树木和艰难实例的原子生物电路
作者:
Antoine Amarilli
;
Pierre Bourhis
;
Pierre Senellart
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
84.
Fully Dynamic Matching in Bipartite Graphs
机译:
在二角形图中完全动态匹配
作者:
Aaron Bernstein
;
Cliff Stein
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
85.
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年
86.
Interactive Proofs with Approximately Commuting Provers
机译:
与大约通勤普通的互动证明
作者:
Matthew Coudron
;
Thomas Vidick
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
87.
Quantifying Competitiveness in Paging with Locality of Reference
机译:
量化参考文献分页的竞争力
作者:
Susanne Albers
;
Dario Frascaria
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
88.
Reachability is in DynFO
机译:
可达性在Dynfo
作者:
Samir Datta
;
Raghav Kulkarni
;
Anish Mukherjee
;
Thomas Schwentick
;
Thomas Zeume
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
89.
Towards the Graph Minor Theorems for Directed Graphs
机译:
朝着指导图表的图形次要定理
作者:
Ken-Ichi Kawarabayashi
;
Stephan Kreutzer
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Directed graphs;
Grid minor;
The directed disjoint paths problem;
90.
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;
91.
An Approach to Computing Downward Closures
机译:
计算向下闭包的方法
作者:
Georg Zetzsche
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
92.
Games for Dependent Types
机译:
依赖类型的游戏
作者:
Samson Abramsky
;
Radha Jagadeesan
;
Matthijs Vakar
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
93.
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年
94.
Query Complexity in Expectation
机译:
查询期望复杂性
作者:
Jedrzej Kaniewski
;
Troy Lee
;
Ronald de Wolf
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
95.
Unit Interval Editing Is Fixed-Parameter Tractable
机译:
单位间隔编辑是固定参数的易解
作者:
Yixin Cao
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
96.
On Determinisation of Good-for-Games Automata
机译:
关于游戏型自动机的测定
作者:
Denis Kuperberg
;
Michal Skrzypczak
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
97.
2-Vertex Connectivity in Directed Graphs
机译:
在定向图中的2-顶点连接
作者:
Loukas Georgiadis
;
Giuseppe F. Italiano
;
Luigi Laura
;
Nikos Parotsidis
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
98.
The Complexity of Synthesis from Probabilistic Components
机译:
概率组分合成的复杂性
作者:
Krishnendu Chatterjee
;
Laurent Doyen
;
Moshe Y. Vardi
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
99.
Taylor Polynomial Estimator for Estimating Frequency Moments
机译:
泰勒多项式估计估计频率矩
作者:
Sumit Ganguly
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
100.
Normalization Phenomena in Asynchronous Networks
机译:
异步网络中的归一化现象
作者:
Amin Karbasi
;
Johannes Lengler
;
Angelika Steger
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
上一页
1
2
3
4
下一页
意见反馈
回到顶部
回到首页