掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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.
Analyzing Context-Free Grammars Using an Incremental SAT Solver
机译:
使用增量SAT Solver分析无内容语法
作者:
Roland Axelsson
;
Keijo Heljanko
;
Martin Lange
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
2.
Dynamic Normal Forms and Dynamic Characteristic Polynomial
机译:
动态正常形式和动态特性多项式
作者:
Gudmund Skovbjerg Frandsen
;
Piotr Sankowski
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
3.
Succinct Data Structures for Retrieval and Approximate Membership
机译:
用于检索和近似成员资格的简洁数据结构
作者:
Martin Dietzfelbinger
;
Rasmus Pagh
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
4.
On Black-Box Ring Extraction and Integer Factorization
机译:
在黑盒环提取和整数分子上
作者:
Kristina Altmann
;
Tibor Jager
;
Andy Rupp
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
5.
Approximation Algorithms for Scheduling Parallel Jobs: Breaking the Approximation Ratio of 2
机译:
用于调度并行作业的近似算法:破坏2的近似率
作者:
Klaus Jansen
;
Ralf Thole
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
6.
Impossibility of a Quantum Speed-Up with a Faulty Oracle
机译:
不可能用故障的甲骨文加速
作者:
Oded Regev
;
Liron Schiff
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
7.
The Two-Edge Connectivity Survivable Network Problem in Planar Graphs
机译:
平面图中的双边连接可生存的网络问题
作者:
Glencora Borradaile
;
Philip Klein
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
8.
Constant-Round Concurrent Non-malleable Zero Knowledge in the Bare Public-Key Model
机译:
裸公共键模型中的恒定常规并发非可延展的零知识
作者:
Rafail Ostrovsky
;
Giuseppe Persiano
;
Ivan Visconti
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
关键词:
Non-malleable zero knowledge;
Witness indistinguishability;
9.
Uniform Budgets and the Envy-Free Pricing Problem
机译:
统一预算和无嫉妒定价问题
作者:
Patrick Briest
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
10.
A Simple Model of Separation Logic for Higher-Order Store
机译:
高阶商店的一个简单的分离逻辑模型
作者:
Lars Birkedal
;
Bernhard Reus
;
Jan Schwinghammer
;
Hongseok Yang
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
11.
Reversible Flowchart Languages and the Structured Reversible Program Theorem
机译:
可逆流程语言和结构化可逆程序定理
作者:
Tetsuo Yokoyama
;
Holger Bock Axelsen
;
Robert Gluck
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
12.
Fast Distributed Computation of Cuts Via Random Circulations
机译:
通过随机循环的快速分布式计算
作者:
David Pritchard
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
13.
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
机译:
具有定性分支时间目标的马尔可夫决策过程的控制器综合与验证
作者:
Tomas Brazdil
;
Vojtech Forejt
;
Antonin Kucera
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
14.
Diagonal Circuit Identity Testing and Lower Bounds
机译:
对角线电路标识测试和下限
作者:
Nitin Saxena
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
关键词:
Arithmetic circuit;
Identity testing;
Depth 3;
Depth 4;
Determinant;
Permanent;
Lower bounds;
15.
A New Combinatorial Approach for Sparse Graph Problems
机译:
一种稀疏图问题的新组合方法
作者:
Guy E. Blelloch
;
Virginia Vassilevska
;
Ryan Williams
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
16.
Directed st-Connectivity Is Not Expressible in Symmetric Datalog
机译:
在对称数据记录中,指向的ST连接不可表示
作者:
Laszlo Egri
;
Benoit Larose
;
Pascal Tesson
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
17.
Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency
机译:
可组合的正式安全分析:玩杂耍的健全,简单和效率
作者:
Ran Canetti
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
18.
Almost 2-SAT Is Fixed-Parameter Tractable
机译:
差不多2-SAT是固定参数易行
作者:
Igor Razgon
;
Barry OSullivan
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
19.
Constructing Efficient Dictionaries in Close to Sorting Time
机译:
构建高效词典接近排序时间
作者:
Milan Ruzic
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
20.
Superpolynomial Speedups Based on Almost Any Quantum Circuit
机译:
基于几乎任何量子电路的超强性加速
作者:
Sean Hallgren
;
Aram W. Harrow
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
21.
A System F with Call-by-Name Exceptions
机译:
具有呼叫名称异常的系统f
作者:
Sylvain Lebresne
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
22.
The Complexity of the Counting Constraint Satisfaction Problem
机译:
计数约束满足问题的复杂性
作者:
Andrei A. Bulatov
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
23.
All-Pairs Shortest Paths with a Sublinear Additive Error
机译:
全对最短路径,具有载位附加误差
作者:
Liam Roditty
;
Asaf Shapira
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
24.
Networks Become Navigable as Nodes Move and Forget
机译:
随着节点移动和忘记,网络将导航
作者:
Augustin Chaintreau
;
Pierre Fraigniaud
;
Emmanuelle Lebhar
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
关键词:
Small world phenomenon;
Dynamic process;
Routing;
Spatial gossip;
Resource location;
Random walks;
25.
Composable Security in the Bounded-Quantum-Storage Model
机译:
界限 - 量子存储模型中的可组合安全性
作者:
Stephanie Wehner
;
Jurg Wullschleger
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
26.
Improving the Round Complexity of VSS in Point-to-Point Networks
机译:
在点对点网络中提高VSS的圆形复杂性
作者:
Jonathan Katz
;
Chiu-Yuen Koo
;
Ranjit Kumaresan
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
27.
Could SFLASH be Repaired?
机译:
可以修复sflash吗?
作者:
Jintai Ding
;
Vivien Dubois
;
Bo-Yin Yang
;
Owen Chia-Hsin Chen
;
Chen-Mou Cheng
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
关键词:
Multivariate cryptography;
Signature;
SFLASH;
Differential;
28.
Quantum SAT for a Qutrit-Cinquit Pair Is QMA{sub}1-Complete
机译:
量子坐在qutrit-cinquit对是qma {sub} 1完成
作者:
Lior Eldar
;
Oded Regev
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
29.
Fast Scheduling of Weighted Unit Jobs with Release Times and Deadlines
机译:
快速调度加权单元作业,释放时间和截止日期
作者:
C. Greg Plaxton
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
30.
The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata
机译:
非确定性大部分基层层次结构和距离奇偶校验自动机
作者:
Thomas Colcombet
;
Christof Loding
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
31.
Interacting Quantum Observables
机译:
相互作用量子可观察到
作者:
Bob Coecke
;
Ross Duncan
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
32.
Faster Algebraic Algorithms for Path and Packing Problems
机译:
用于路径和包装问题的更快的代数算法
作者:
Ioannis Koutis
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
33.
Finding Optimal Flows Efficiently
机译:
有效地找到最佳流动
作者:
Mehdi Mhalla
;
Simon Perdrix
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
34.
Recursive Stochastic Games with Positive Rewards
机译:
带有积极奖励的递归随机游戏
作者:
K. Etessami
;
D. Wojtczak
;
M. Yannakakis
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
35.
Testing Properties of Sets of Points in Metric Spaces
机译:
测试度量空间中点组的测试属性
作者:
Krzysztof Onak
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
36.
On Berge Multiplication for Monotone Boolean Dualization
机译:
关于单调布尔二元化的Berge乘法
作者:
Endre Boros
;
Khaled Elbassioni
;
Kazuhisa Makino
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
37.
On Datalog vs. LFP
机译:
在Datalog与LFP上
作者:
Anuj Dawar
;
Stephan Kreutzer
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
38.
Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations
机译:
最大多项式方程单调系统的近似方法
作者:
Javier Esparza
;
Thomas Gawlitza
;
Stefan Kiefer
;
Helmut Seidl
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
39.
Improved Garbled Circuit: Free XOR Gates and Applications
机译:
改进的乱码电路:自由XOR门和应用
作者:
Vladimir Kolesnikov
;
Thomas Schneider
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
40.
Polynomial-Time Construction of Linear Network Coding
机译:
线性网络编码的多项式施工
作者:
Kazuo Iwama
;
Harumichi Nishimura
;
Mike Paterson
;
Rudy Raymond
;
Shigeru Yamashita
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
41.
Optimal Quantum Adversary Lower Bounds for Ordered Search
机译:
订购搜索的最佳量子对手下限
作者:
Andrew M. Childs
;
Troy Lee
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
42.
Duality and Equational Theory of Regular Languages
机译:
常规语言的二元性和等级理论
作者:
Mai Gehrke
;
Serge Grigorieff
;
Jean-Eric Pin
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
43.
Spanners in Sparse Graphs
机译:
跨越图表的扳手
作者:
Feodor F. Dragan
;
Fedor V. Fomin
;
Petr A. Golovach
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
44.
The Tractability Frontier for NFA Minimization
机译:
用于NFA最小化的易腐烂前沿
作者:
Henrik Bjorklund
;
Wim Martens
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
45.
ATL~* Satisfiability Is 2EXPTIME-Complete
机译:
ATL〜*可满足性是2次完成
作者:
Sven Schewe
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
46.
On the Computational Completeness of Equations over Sets of Natural Numbers
机译:
基于自然数集的等式的计算完整性
作者:
Artur Jez
;
Alexander Okhotin
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
47.
Bounded Ciphertext Policy Attribute Based Encryption
机译:
基于有限的密文策略属性的加密
作者:
Vipul Goyal
;
Abhishek Jain
;
Omkant Pandey
;
Amit Sahai
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
48.
Faster Algorithms for Incremental Topological Ordering
机译:
增量拓扑排序的更快算法
作者:
Bernhard Haeupler
;
Telikepalli Kavitha
;
Rogers Mathew
;
Siddhartha Sen
;
Robert E. Tarjan
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
49.
Placement Inference for a Client-Server Calculus
机译:
对客户端 - 服务器微积分的放置推断
作者:
Matthias Neubauer
;
Peter Thiemann
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
50.
Randomized Self-assembly for Approximate Shapes
机译:
随机自组装用于近似形状
作者:
Ming-Yang Kao
;
Robert Schweller
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
关键词:
Self-Assembly;
Randomized Algorithms;
Approximation Algorithms;
51.
Perpetuality for Full and Safe Composition (in a Constructive Setting)
机译:
完整和安全组成的永恒性(在建设性设置中)
作者:
Delia Kesner
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
52.
An Approximation Algorithm for Binary Searching in Trees
机译:
树中二进制搜索的近似算法
作者:
Eduardo Laber
;
Marco Molinaro
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
53.
Asynchronous Multi-Party Computation with Quadratic Communication
机译:
具有二次通信的异步多方计算
作者:
Martin Hirt
;
Jesper Buus Nielsen
;
Bartosz Przydatek
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
54.
Algorithms for ε-Approximations of Terrains
机译:
ε-近似地形的算法
作者:
Jeff M. Phillips
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
55.
A PTAS for Static Priority Real-Time Scheduling with Resource Augmentation
机译:
具有资源增强的静态优先级实时调度的PTA
作者:
Friedrich Eisenbrand
;
Thomas Rothvoss
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
56.
Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing
机译:
容错量计算噪声阈值上的上限
作者:
Julia Kempe
;
Oded Regev
;
Falk Unger
;
Ronald de Wolf
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
57.
Tree Projections: Hypergraph Games and Minimality
机译:
树投影:超图和最小性
作者:
Gianluigi Greco
;
Francesco Scarcello
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
58.
Distance Oracles for Unweighted Graphs: Breaking the Quadratic Barrier with Constant Additive Error
机译:
用于未加权图的距离牙齿:用恒定的添加剂误差打破二次屏障
作者:
Surender Baswana
;
Akshay Gaur
;
Sandeep Sen
;
Jayant Upadhyay
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
59.
On Expressiveness and Complexity in Real-Time Model Checking
机译:
关于实时模型检查中的富有效力与复杂性
作者:
Patricia Bouyer
;
Nicolas Markey
;
Joel Ouaknine
;
James Worrell
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
60.
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
机译:
在多个基地中有限自动机识别的实际数字集合
作者:
Bernard Boigelot
;
Julien Brusten
;
Veronique Bruyere
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
61.
Open Implication
机译:
开放含义
作者:
Karin Greimel
;
Roderick Bloem
;
Barbara Jobstmann
;
Moshe Vardi
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
62.
STORMED Hybrid Systems
机译:
冲锋的混合系统
作者:
Vladimeros Vladimerou
;
Pavithra Prabhakar
;
Mahesh Viswanathan
;
Geir Dullerud
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
63.
Making Classical Honest Verifier Zero Knowledge Protocols Secure against Quantum Attacks
机译:
使古典诚实验证者零知识协议能够防止量子攻击
作者:
Sean Hallgren
;
Alexandra Kolla
;
Pranab Sen
;
Shengyu Zhang
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
64.
Error-Tolerant Combiners for Oblivious Primitives
机译:
忽期原语的耐腐蚀组合器
作者:
Bartosz Przydatek
;
Jurg Wullschleger
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
65.
Property Testing on k-Vertex-Connectivity of Graphs
机译:
图形k-顶点连接性的财产测试
作者:
Yuichi Yoshida
;
Hiro Ito
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
66.
Computational Complexity of the DistanceConstrained Labeling Problem for Trees (Extended Abstract)
机译:
树木横向标记问题的计算复杂性(扩展摘要)
作者:
Jiri Fiala
;
Petr A. Golovach
;
Jan Kratochvil
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
67.
Complexity of Decoding Positive-Rate Reed-Solomon Codes
机译:
解码正速率簧片核查码的复杂性
作者:
Qi Cheng
;
Daqing Wan
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
68.
Randomized Self-assembly for ApproximateShapes
机译:
用于近似的随机自组装
作者:
Ming-Yang Kao
;
Robert Schweller
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
关键词:
self-assembly;
randomized algorithms;
approximation algorithrns;
69.
Visibly Pushdown Transducers
机译:
明显下推传感器
作者:
Jean-Francois Raskin
;
Frederic Servais
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
70.
Quantified Constraint Satisfaction and the Polynomially Generated Powers Property
机译:
量化约束满足和多项式产生的力量性质
作者:
Hubie Chen
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
71.
Finite Automata, Digraph Connectivity, and Regular Expression Size
机译:
有限自动机,态度连接和正则表达尺寸
作者:
Hermann Gruber
;
Markus Holzer
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
72.
Competitive Weighted Matching in Transversal Matroids
机译:
在横向matroids中有竞争力的加权匹配
作者:
Nedialko B. Dimitrov
;
C. Greg Plaxton
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
73.
The Speed of Convergence in Congestion Games under Best-Response Dynamics
机译:
最佳响应动态下拥塞游戏的收敛速度
作者:
Angelo Fanelli
;
Michele Flammini
;
Luca Moscardelli
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
74.
Leftist Grammars Are Non-primitive Recursive
机译:
左派语法是非原始递归
作者:
Tomasz Jurdzinski
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
75.
Universally Composable Undeniable Signature
机译:
普遍可兼容可不可否认的签名
作者:
Kaoru Kurosawa
;
Jun Furukawa
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
关键词:
Universal composability;
Undeniable signature scheme;
76.
Truthful Unification Framework for Packing Integer Programs with Choices
机译:
用选择包装整数程序的真实统一框架
作者:
Yossi Azar
;
Iftah Gamzu
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
77.
Finding a Maximum Matching in a Sparse Random Graph in O(n) Expected Time
机译:
在O(n)预期时间内的稀疏随机图中找到最大匹配
作者:
Prasad Chebolu
;
Alan Frieze
;
Pall Melsted
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
78.
An Expansion Tester for Bounded Degree Graphs
机译:
有界度图的扩展测试仪
作者:
Satyen Kale
;
C. Seshadhri
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
79.
ATL{sup}* Satisfiability Is 2EXPTIME-Complete
机译:
ATL {SUP} *可满足性是2次完成
作者:
Sven Schewe
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
80.
Linear Logical Algorithms
机译:
线性逻辑算法
作者:
Robert J. Simmons
;
Frank Pfenning
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
关键词:
Bottom-up logic programming;
Forward reasoning;
Linear logic;
Deductive databases;
Cost semantics;
Abstract running time;
81.
Computational Complexity of the Distance Constrained Labeling Problem for Trees
机译:
树木距离约束标记问题的计算复杂性
作者:
Jiri Fiala
;
Petr A. Golovach
;
Jan Kratochvil
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
82.
Algorithms for 2-Route Cut Problems
机译:
2路线切割问题的算法
作者:
Chandra Chekuri
;
Sanjeev Khanna
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
83.
Extended pi-Calculi
机译:
扩展pi-calculi
作者:
Magnus Johansson
;
Joachim Parrow
;
Bjorn Victor
;
Jesper Bengtson
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
84.
Non-dichotomies in Constraint Satisfaction Complexity
机译:
限制满足复杂性的非二分法
作者:
Manuel Bodirsky
;
Martin Grohe
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
85.
Newton's Method for ω-Continuous Semirings
机译:
牛顿对ω-连续的彩色的方法
作者:
Javier Esparza
;
Stefan Kiefer
;
Michael Luttenberger
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
86.
Attribute Grammars and Categorical Semantics
机译:
属性语法和分类语义
作者:
Shin-ya Katsumata
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
87.
Asymptotically Optimal Hitting Sets Against Polynomials
机译:
对多项式的渐近最优的击中集
作者:
Markus Blaser
;
Moritz Hardt
;
David Steurer
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
88.
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
机译:
以一阶逻辑定义的树语,具有一个量级逻辑
作者:
Mikolaj Bojanczyk
;
Luc Segoufin
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
89.
On the Strength of the Concatenated Hash Combiner When All the Hash Functions Are Weak
机译:
关于所有散列函数弱时串联哈希组合器的强度
作者:
Jonathan J. Hoch
;
Adi Shamir
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
关键词:
Hash functions;
Cryptographic combiners;
Indifferentiability;
90.
Efficiently Testing Sparse GF(2) Polynomials
机译:
有效地测试稀疏GF(2)多项式
作者:
Ilias Diakonikolas
;
Homin K. Lee
;
Kevin Matulef
;
Rocco A. Servedio
;
Andrew Wan
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
91.
Weak Pseudorandom Functions in Minicrypt
机译:
弱伪随机函数在迷你店
作者:
Krzysztof Pietrzak
;
Johan Sjodin
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
92.
Weighted Logics for Nested Words and Algebraic Formal Power Series
机译:
嵌套单词和代数正式电源系列的加权逻辑
作者:
Christian Mathissen
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
93.
Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects
机译:
图结构和Monadic二阶逻辑:语言理论方面
作者:
Bruno Courcelle
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
94.
How to Explore a Fast-Changing World (Cover Time of a Simple Random Walk on Evolving Graphs)
机译:
如何探索一个快速变化的世界(在不断变化的图形上覆盖简单随机步行的时间)
作者:
Chen Avin
;
Michal Koucky
;
Zvi Lotker
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
95.
How to Protect Yourself without Perfect Shredding
机译:
如何保护自己没有完美的碎片
作者:
Ran Canetti
;
Dror Eiger
;
Shafi Goldwasser
;
Dah-Yoh Lim
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
关键词:
Mobile adversary;
Proactive security;
Adaptive security;
Forward security;
Intrusion resilience;
Universal hashing;
Partial erasures;
Secure multiparty computation;
Randomness extractors;
96.
Function Evaluation Via Linear Programming in the Priced Information Model
机译:
定价信息模型线性规划功能评估
作者:
Ferdinando Cicalese
;
Eduardo Sany Laber
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
97.
On List Update with Locality of Reference
机译:
在列表更新与参考的局部性更新
作者:
Susanne Albers
;
Sonja Lauer
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
98.
Optimal Cryptographic Hardness of Learning Monotone Functions
机译:
学习单调功能的最佳加密硬度
作者:
Dana Dachman-Soled
;
Homin K. Lee
;
Tal Malkin
;
Rocco A. Servedio
;
Andrew Wan
;
Hoeteck Wee
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
99.
How to Encrypt with the LPN Problem
机译:
如何使用LPN问题加密
作者:
Henri Gilbert
;
Matthew J. B. Robshaw
;
Yannick Seurin
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
关键词:
Symmetric encryption;
LPN;
Error-correcting code;
100.
Internet Ad Auctions: Insights and Directions
机译:
互联网广告拍卖:见解和方向
作者:
S. Muthukrishnan
会议名称:
《International Colloquium on Automata, Languages and Programming》
|
2008年
意见反馈
回到顶部
回到首页