掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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.
Suitable Curves for Genus-4 HCC over Prime Fields: Point Counting Formulae for Hyperelliptic Curves of Type y~2 = x~(2k+1) + ax
机译:
合适的曲线-4 HCC在素田上:y〜2型型超细曲线的点计数公式= x〜(2k + 1)+ ax
作者:
Mitsuhiro Haneda
;
Mitsuru Kawazoe
;
Tetsuya Takahashi
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
2.
Weighted Automata and Weighted Logics
机译:
加权自动机和加权逻辑
作者:
Manfred Droste
;
Paul Gastin
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
3.
On the Cover Time of Random Geometric Graphs
机译:
在随机几何图的覆盖时间
作者:
Chen Avin
;
Gunes Ercal
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
4.
Union-Find with Constant Time Deletions
机译:
联盟 - 查找持续时间删除
作者:
Stephen Alstrup
;
Inge Li Gortz
;
Theis Rauhe
;
Mikkel Thorup
;
Uri Zwick
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
5.
The Generalized Deadlock Resolution Problem
机译:
广义死锁解决问题
作者:
Kamal Jain
;
MohammadTaghi Hajiaghayi
;
Kunal Talwar
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
6.
An O(m2n) Randomized Algorithm to Compute a Minimum Cycle Basis of a Directed Graph
机译:
一个(M2N)随机化算法计算定向图的最小循环
作者:
Telikepalli Kavitha
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
7.
Unsafe Grammars and Panic Automata
机译:
不安全的语法和恐慌自动机
作者:
Teodor Knapik
;
Damian Niwinski
;
Pawel Urzyczyn
;
Igor Walukiewicz
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
8.
Distance Constrained Labelings of Graphs of Bounded Treewidth
机译:
有界树木宽度图的距离约束贴标
作者:
Jiri Fiala
;
Petr A. Golovach
;
Jan Kratochvo
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
9.
Hybrid Trapdoor Commitments and Their Applications
机译:
混合Trapdoor承诺及其应用
作者:
Dario Catalano
;
Ivan Visconti
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
10.
Polynomial Time Preemptive Sum-Multicoloring on Paths
机译:
在路径上的多项式时间先发制人的总和 - 多体子
作者:
Annamaria Kovacs
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
11.
On the Equivalence of Z-Automata
机译:
在Z-Automata的等价物上
作者:
Marie-Pierre Beal
;
Sylvain Lombardy
;
Jacques Sakarovitch
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
12.
Designated Verifier Signature Schemes: Attacks, New Security Notions and a New Construction
机译:
指定验证者签名方案:攻击,新的安全概念和新建
作者:
Helger Lipmaa
;
Guilin Wang
;
Feng Bao
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
关键词:
designated verifier signature scheme;
non-delegatability;
programmable random oracle model;
signature scheme;
13.
Lower Bounds for Lovász-Schrijver Systems and Beyond Follow from Multiparty Communication Complexity
机译:
Lovász-Schrijver系统的下限及超越多群通信复杂性的遵循
作者:
Paul Beame
;
Toniann Pitassi
;
Nathan Segerlind
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
14.
A Fully Abstract Encoding of the π-Calculus with Data Terms
机译:
具有数据项的π微积分的全摘要编码
作者:
Michael Baldamus
;
Joachim Parrow
;
Bjoern Victor
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
15.
Computationally Sound Implementations of Equational Theories Against Passive Adversaries
机译:
对被动对手的公正理论的计算上的实施
作者:
Mathieu Baudet
;
Veronique Cortier
;
Steve Kremer
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
16.
Cache-Oblivious Planar Shortest Paths
机译:
缓存令人沮丧的平面最短路径
作者:
Hema Jampala
;
Norbert Zeh
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
17.
On Round-Efficient Argument Systems
机译:
关于循环高效的论点系统
作者:
Hoeteck Wee
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
18.
An O(m~2n) Randomized Algorithm to Compute a Minimum Cycle Basis of a Directed Graph
机译:
O(m〜2n)随机算法计算定向图的最小循环
作者:
Telikepalli Kavitha
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
19.
Computational Bounds on Hierarchical Data Processing with Applications to Information Security
机译:
具有信息安全性的分层数据处理的计算范围
作者:
Roberto Tamassia
;
Nikos Triandopoulos
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
20.
Asynchronous Perfectly Secure Communication over One-Time Pads
机译:
在一次性焊盘上异步完全安全通信
作者:
Giovanni Di Crescenzo
;
Aggelos Kiayias
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
21.
Prom Primal-Dual to Cost Shares and Back: A Stronger LP Relaxation for the Steiner Forest Problem
机译:
PROM Primal-Dual到成本份额和返回:施泰纳林问题的LP放松更强
作者:
Jochen Konemann
;
Stefano Leonardi
;
Guide Schafer
;
Stefan van Zwam
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
22.
Logics for Unranked Trees: An Overview
机译:
Unranked树木的逻辑:概述
作者:
Leonid Libkin
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
23.
Linear Time Algorithms for Clustering Problems in Any Dimensions
机译:
线性时间算法,用于在任何尺寸中聚类问题
作者:
Amit Kumar
;
Yogish Sabharwal
;
Sandeep Sen
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
24.
The Tree Inclusion Problem: In Optimal Space and Faster
机译:
树包涵体问题:在最佳空间和更快
作者:
Philip Bille
;
Inge Li Gortz
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
25.
Fast Neighbor Joining
机译:
快速邻居加入
作者:
Isaac Elias
;
Jens Lagergren
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
26.
The Polyranking Principle
机译:
热闹原则
作者:
Aaron R. Bradley
;
Zohar Manna
;
Henny B. Sipma
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
27.
Quantum Complexity of Testing Group Commutativity
机译:
试验组换向的量子复杂性
作者:
Frederic Magniez
;
Ashwin Nayak
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
28.
Single-Database Private Information Retrieval with Constant Communication Rate
机译:
单数据库私人信息以恒定的通信速率检索
作者:
Craig Gentry
;
Zulfikar Ramzan
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
29.
Restricted Two-Variable FO+MOD Sentences, Circuits and Communication Complexity
机译:
限制两个变量fo + mod句子,电路和通信复杂性
作者:
Pascal Tesson
;
Denis Therien
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
30.
Randomized Fast Design of Short DNA Words
机译:
短DNA字的随机快速设计
作者:
Ming-Yang Kao
;
Manan Sanghi
;
Robert Schweller
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
31.
Concurrent Zero Knowledge in the Public-Key Model
机译:
在公钥模型中并发零知识
作者:
Giovanni Di Crescenzo
;
Ivan Visconti
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
32.
Simple Extractors via Constructions of Cryptographic Pseudo-random Generators
机译:
通过Cryptogoct伪随机发生器的结构简单的提取器
作者:
Marius Zimand
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
33.
Dynamic Bin Packing of Unit Fractions Items
机译:
单位分数物品的动态箱包装
作者:
Wun-Tat Chan
;
Tak-Wah Lam
;
Prudence W.H. Wong
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2005年
34.
Space-Constrained Interval Selection
机译:
空间约束间隔选择
作者:
Yuval Emek
;
Magnús M. Halldórsson
;
Adi Rosén
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Interval;
Selection;
35.
Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations
机译:
分支马尔可夫决策过程的多项式时间算法和概率分钟(MAX)多项式贝尔曼方程
作者:
Kousha Etessami
;
Alistair Stewart
;
Mihalis Yannakakis
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Polynomial Time Algorithms;
Branching;
Markov;
Decision;
Processes;
Polynomial Bellman Equations;
36.
Set Cover Revisited: Hypergraph Cover with Hard Capacities
机译:
重新定位设置封面:具有硬容量的超图盖
作者:
Barna Saha
;
Samir Khuller
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Cover;
Revisited;
Hypergraph;
Cover;
Capacities;
37.
Improving Quantum Query Complexity of Boolean Matrix Multiplication Using Graph Collision
机译:
提高布尔矩阵乘法的量子查询复杂性使用图形碰撞
作者:
Stacey Jeffery
;
Robin Kothari
;
Frédéric Magniez
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Quantum;
Complexity;
Matrix Multiplication;
Graph Collision;
38.
Stochastic Matching with Commitment
机译:
随机与承诺匹配
作者:
Kevin P. Costello
;
Prasad Tetali
;
Pushkar Tripathi
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Commitment;
39.
Unsatisfiability Bounds for Random CSPs from an Energetic Interpolation Method
机译:
从充满活力的插值方法的随机CSP的不可起点界限
作者:
Dimitris Achlioptas
;
Ricardo Menchaca-Mendez
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Interpolation;
Method;
40.
Converting Online Algorithms to Local Computation Algorithms
机译:
将在线算法转换为本地计算算法
作者:
Yishay Mansour
;
Aviad Rubinstein
;
Shai Vardi
;
Ning Xie
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Online Algorithms;
Local;
Computation;
Algorithms;
41.
The NOF Multiparty Communication Complexity of Composed Functions
机译:
组合功能的NOF多方通信复杂性
作者:
Anil Ada
;
Arkadev Chattopadhyay
;
Omar Fawzi
;
Phuong Nguyen
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Communication;
Complexity;
Functions;
42.
On the Limits of Sparsification
机译:
关于稀疏的限制
作者:
Rahul Santhanam
;
Srikanth Srinivasan
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Sparsification;
43.
Parameterized Tractability of Multiway Cut with Parity Constraints
机译:
奇偶校验约束的多道切割的参数化易易陶器
作者:
Daniel Lokshtanov
;
M. S. Ramanujan
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Tractability;
Parity;
Constraints;
44.
Streaming and Communication Complexity of Clique Approximation
机译:
集团近似的流和通信复杂性
作者:
Magnús M. Halldórsson
;
Xiaoming Sun
;
Mario Szegedy
;
Chengu Wang
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Communication;
Complexity;
Clique;
Approximation;
45.
Approximation Algorithms for Online Weighted Rank Function Maximization under Matroid Constraints
机译:
在Matroid约束下在线加权等级函数最大化的近似算法
作者:
Niv Buchbinder
;
Joseph (Seffi) Naor
;
R. Ravi
;
Mohit Singh
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Approximation;
Algorithms;
Online;
Constraints;
46.
Polynomial-Time Isomorphism Test for Groups with No Abelian Normal Subgroups
机译:
没有abelian正常亚组的组多项式同构测试
作者:
László Babai
;
Paolo Codenotti
;
Youming Qiao
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Group Isomorphism;
Permutational Isomorphism;
Code Equivalence;
47.
A Matrix Hyperbolic Cosine Algorithm and Applications
机译:
矩阵双曲余弦算法和应用
作者:
Anastasios Zouzias
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Matrix;
Cosine;
Algorithm;
Applications;
48.
Assigning Sporadic Tasks to Unrelated Parallel Machines
机译:
将零星任务分配给无关的并联机器
作者:
Alberto Marchetti-Spaccamela
;
Cyriel Rutten
;
Suzanne van der Ster
;
Andreas Wiese
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Tasks;
Unrelated;
Parallel;
Machines;
49.
Backdoors to Acyclic SAT
机译:
后门到acclic sat
作者:
Serge Gaspers
;
Stefan Szeider
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
SAT;
50.
Constant-Time Algorithms for Sparsity Matroids
机译:
稀疏性matroids的恒定时间算法
作者:
Hiro Ito
;
Shin-Ichi Tanigawa
;
Yuichi Yoshida
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Algorithms;
Sparsity;
51.
A Thirty Year Old Conjecture about Promise Problems
机译:
关于承诺问题的三十年猜想
作者:
Andrew Hughes
;
A. Pavan
;
Nathan Russell
;
Alan Selman
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Conjecture;
Promise;
Problems;
52.
Node-Weighted Network Design in Planar and Minor-Closed Families of Graphs
机译:
节点加权网络设计在平面和次封闭的图形系列中
作者:
Chandra Chekuri
;
Alina Ene
;
Ali Vakilian
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Network;
Minor-Closed;
Families;
Graphs;
53.
The Power of Recourse for Online MST and TSP
机译:
在线MST和TSP求职权
作者:
Nicole Megow
;
Martin Skutella
;
José Verschae
;
Andreas Wiese
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Power;
Recourse;
Online;
54.
Preserving Terminal Distances Using Minors
机译:
使用未成年人保持终端距离
作者:
Robert Krauthgamer
;
Tamar Zondiner
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Distances;
Minors;
55.
Quantum Adversary (Upper) Bound
机译:
量子对手(上)束缚
作者:
Shelby Kimmel
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Quantum;
Adversary;
56.
CRAM: Compressed Random Access Memory
机译:
CRAM:压缩随机存取存储器
作者:
Jesper Jansson
;
Kunihiko Sadakane
;
Wing-Kin Sung
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Random;
Access;
Memory;
57.
Quantum Strategies Are Better Than Classical in Almost Any XOR Game
机译:
Quantum策略几乎在任何XOR游戏中都比古典更好
作者:
Andris Ambainis
;
Artūrs Ba?kurs
;
Kaspars Balodis
;
Dmitrijs Krav?enko
;
Raitis Ozols
;
Juris Smotrovs
;
Madars Virza
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Quantum Strategies;
58.
Strictly-Black-Box Zero-Knowledge and Efficient Validation of Financial Transactions
机译:
严格的黑匣子零知识和高效验证金融交易
作者:
Michael O. Rabin
;
Yishay Mansour
;
S. Muthukrishnan
;
Moti Yung
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Strictly-Black-Box;
Zero-Knowledge;
Validation;
Transactions;
59.
Epsilon-Net Method for Optimizations over Separable States
机译:
可分离状态优化的epsilon-net方法
作者:
Yaoyun Shi
;
Xiaodi Wu
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Epsilon-Net;
Method;
Optimizations;
60.
Minimum Latency Submodular Cover
机译:
最小延迟子模块盖
作者:
Sungjin Im
;
Viswanath Nagarajan
;
Ruben van der Zwaan
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Minimum;
Latency;
Cover;
61.
Nearly Simultaneously Resettable Black-Box Zero Knowledge
机译:
几乎同时可复位的黑匣子零知识
作者:
Joshua Baron
;
Rafail Ostrovsky
;
Ivan Visconti
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Reset attacks;
Black-box simulation;
62.
Stochastic Vehicle Routing with Recourse
机译:
随机车辆追索机构
作者:
Inge Li G?rtz
;
Viswanath Nagarajan
;
Rishi Saket
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Vehicle;
Routing;
Recourse;
63.
The Inverse Shapley Value Problem
机译:
逆子价值问题
作者:
Anindya De
;
Ilias Diakonikolas
;
Rocco Servedio
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Inverse;
Problem;
64.
De-amortizing Binary Search Trees
机译:
De-Amortizing二元搜索树
作者:
Prosenjit Bose
;
Sébastien Collette
;
Rolf Fagerberg
;
Stefan Langerman
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Search Trees;
65.
Quasi-polynomial Local Search for Restricted Max-Min Fair Allocation
机译:
准多项式本地搜索受限制的MAX-MIN公平分配
作者:
Lukas Polacek
;
Ola Svensson
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Quasi-polynomial;
Local;
Search;
Allocation;
66.
The Complexity of Computing the Sign of the Tutte Polynomial (and Consequent #P-hardness of Approximation)
机译:
计算Tutte多项式的符号的复杂性(以及随后的#p-硬度的近似)
作者:
Leslie Ann Goldberg
;
Mark Jerrum
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Complexity;
Polynomial;
Approximation;
67.
Secretary Problems with Convex Costs
机译:
诊断成本的秘书问题
作者:
Siddharth Barman
;
Seeun Umboh
;
Shuchi Chawla
;
David Malec
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Secretary;
Problems;
Costs;
68.
The Parameterized Complexity of k-Edge Induced Subgraphs
机译:
K-Edge诱导的子图的参数化复杂性
作者:
Bingkai Lin
;
Yijia Chen
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Complexity;
Subgraphs;
69.
Approximating Sparse Covering Integer Programs Online
机译:
在线近似稀疏覆盖整数程序
作者:
Anupam Gupta
;
Viswanath Nagarajan
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Covering;
Integer;
Programs;
Online;
70.
Testing Similar Means
机译:
测试类似手段
作者:
Reut Levi
;
Dana Ron
;
Ronitt Rubinfeld
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Testing;
Means;
71.
The Online Metric Matching Problem for Doubling Metrics
机译:
倍增度量的在线度量匹配问题
作者:
Anupam Gupta
;
Kevin Lewi
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Online;
Problem;
Doubling;
Metrics;
72.
Dominators, Directed Bipolar Orders, and Independent Spanning Trees
机译:
占主导地位,指导双极订单和独立的跨越树木
作者:
Loukas Georgiadis
;
Robert E. Tarjan
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Dominators;
Orders;
Independent;
Trees;
73.
Clique Cover and Graph Separation: New Incompressibility Results
机译:
Clique Cover和图分离:新的不可压缩结果
作者:
Marek Cygan
;
Stefan Kratsch
;
Marcin Pilipczuk
;
Micha? Pilipczuk
;
Magnus Wahlstr?m
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Clique Cover;
Graph Separation;
Results;
74.
A Rounding by Sampling Approach to the Minimum Size k-Arc Connected Subgraph Problem
机译:
通过采样方法对最小尺寸K弧连接的子图问题进行舍入
作者:
Bundit Laekhanukit
;
Shayan Oveis Gharan
;
Mohit Singh
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Approach;
Minimum;
Subgraph;
Problem;
75.
Self-assembly with Geometric Tiles
机译:
与几何瓷砖的自身装配
作者:
Bin Fu
;
Matthew J. Patitz
;
Robert T. Schweller
;
Robert Sheline
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Tiles;
76.
Directed Subset Feedback Vertex Set Is Fixed-Parameter Tractable
机译:
定向子集反馈顶点集是固定参数易行
作者:
Rajesh Chitnis
;
Marek Cygan
;
Mohammadtaghi Hajiaghayi
;
Dániel Marx
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Subset;
Feedback;
Vertex;
Fixed-Parameter;
77.
Faster Fully Compressed Pattern Matching by Recompression
机译:
通过重新构建更快的完全压缩模式匹配
作者:
Artur Je?
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Pattern matching;
Compressed pattern matching;
Straight-line programms;
Lempel-Ziv compression;
Algorithms for compressed data;
78.
Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs
机译:
在定向非循环图中的多型多乳的固定参数陶器
作者:
Stefan Kratsch
;
Marcin Pilipczuk
;
Micha? Pilipczuk
;
Magnus Wahlstr?m
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Fixed-Parameter;
Tractability;
Graphs;
79.
Improved LP-Rounding Approximation Algorithm for k-level Uncapacitated Facility Location
机译:
改进K级未加置设施位置的LP舍入近似算法
作者:
Jaroslaw Byrka
;
Bartosz Rybicki
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
LP-Rounding;
Approximation;
Algorithm;
Facility;
Location;
80.
Faster Algorithms for Privately Releasing Marginals
机译:
用于私人释放边缘的速度较快的算法
作者:
Justin Thaler
;
Jonathan Ullman
;
Salil Vadhan
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Algorithms;
Releasing;
81.
Succinct Indices for Range Queries with Applications to Orthogonal Range Maxima
机译:
具有应用于正交范围最大值的范围查询的简洁索引
作者:
Arash Farzan
;
J. Ian Munro
;
Rajeev Raman
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Indices;
Range;
Range Maxima;
82.
Clustering under Perturbation Resilience
机译:
在扰动弹性下聚类
作者:
Maria Florina Balcan
;
Yingyu Liang
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
clustering;
perturbation resilience;
k-median;
min-sum;
83.
Rademacher-Sketch: A Dimensionality-Reducing Embedding for Sum-Product Norms, with an Application to Earth-Mover Distance
机译:
Rademacher-Sketch:用于总和 - 产品规范的维度嵌入,应用于地球移动器距离
作者:
Elad Verbin
;
Qin Zhang
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Dimensionality-Reducing;
Sum-Product;
Norms;
Application;
Earth-Mover;
Distance;
84.
A Dependent LP-Rounding Approach for the k-Median Problem
机译:
k中位问题的依赖性LP舍入方法
作者:
Moses Charikar
;
Shi Li
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Approximation;
k-Median Problem;
Dependent Rounding;
85.
Zero-One Rounding of Singular Vectors
机译:
零一轮的奇异载体
作者:
Amit Deshpande
;
Ravindran Kannan
;
Nikhil Srivastava
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
rounding;
matrix norms;
singular value decomposition;
cut decomposition;
86.
Efficient Submodular Function Maximization under Linear Packing Constraints
机译:
线性包装约束下有效的子模孔功能最大化
作者:
Yossi Azar
;
Iftah Gamzu
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Function;
Packing Constraints;
87.
Solving Planar k -Terminal Cut in O(n~(ck/(1/2)) Time
机译:
求解平面k -terminal切割O(n〜(ck /(1/2))时间
作者:
Philip N. Klein
;
Dániel Marx
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Time;
88.
Testing Coverage Functions
机译:
测试覆盖功能
作者:
Deeparnab Chakrabarty
;
Zhiyi Huang
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Coverage;
Functions;
89.
Sparse Fault-Tolerant Spanners for Doubling Metrics with Bounded Hop-Diameter or Degree
机译:
稀疏的容错扳手,用于偏移跳跃直径或度的倍增度量
作者:
T. -H. Hubert Chan
;
Mingfei Li
;
Li Ning
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Spanners;
Doubling;
Metrics;
Hop-Diameter;
Degree;
90.
Label Cover Instances with Large Girth and the Hardness of Approximating Basic k-Spanner
机译:
具有大周长的标签覆盖实例以及近似基本k扳手的硬度
作者:
Michael Dinitz
;
Guy Kortsarz
;
Ran Raz
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Label;
Cover;
Instances;
Hardness;
Basic k-Spanner;
91.
On Quadratic Programming with a Ratio Objective
机译:
关于比率目标的二次编程
作者:
Aditya Bhaskara
;
Moses Charikar
;
Rajsekar Manokaran
;
Aravindan Vijayaraghavan
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Quadratic;
Programming;
Ratio;
92.
Efficient Sampling Methods for Discrete Distributions
机译:
离散分布的高效采样方法
作者:
Karl Bringmann
;
Konstantinos Panagiotou
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Methods;
Distributions;
93.
A Tight Lower Bound for Planar Multiway Cut with Fixed Number of Terminals
机译:
平面多道剪切的紧密下限,用固定数量的终端切割
作者:
Dániel Marx
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Bound;
Number;
Terminals;
94.
Universal Factor Graphs
机译:
普遍因子图
作者:
Uriel Feige
;
Shlomo Jozeph
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Factor;
Graphs;
95.
Geometry of Online Packing Linear Programs
机译:
在线包装线性程序的几何
作者:
Marco Molinaro
;
R. Ravi
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Geometry;
Online;
Packing;
96.
Computing the Visibility Polygon of an Island in a Polygonal Domain
机译:
计算多边形域中岛的可见性多边形
作者:
Danny Z. Chen
;
Haitao Wang
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Visibility;
Polygon;
Domain;
97.
Parameterized Approximation via Fidelity Preserving Transformations
机译:
通过保真变换的参数化近似
作者:
Michael R. Fellows
;
Ariel Kulik
;
Frances Rosamond
;
Hadas Shachnai
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Approximation;
Fidelity;
Transformations;
98.
NNS Lower Bounds via Metric Expansion for l ?_∞? and EMD
机译:
NNS下限通过度量扩展L?_∞?和EMD
作者:
Michael Kapralov
;
Rina Panigrahy
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Expansion;
99.
Certifying 3-Connectivity in Linear Time
机译:
线性时间证明3连通性
作者:
Jens M. Schmidt
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Connectivity;
100.
Complexity of Complexity and Maximal Plain versus Prefix-Free Kolmogorov Complexity
机译:
复杂性的复杂性和最大平原与前缀的kolmogorov复杂性
作者:
Bruno Bauwens
会议名称:
《International Colloquium on Automata, Languages, and Programming》
|
2012年
关键词:
Complexity;
Complexity;
Plain;
Kolmogorov;
Complexity;
意见反馈
回到顶部
回到首页