掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)
Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
电脑与信息技术
计算技术与自动化
制造业自动化
个人电脑
网络安全技术与应用
电脑爱好者
家庭电子(维修版)
家庭电子(爱好者)
计算机科学
物联网技术
更多>>
相关外文期刊
Foundations and trends in web science
Journal on Educational Resources in Computing (JERIC)
Grey systems: theory and application
Information Display
IBM Systems Journal
Visual Studio Magazine
ACM Transaction on Information and System Security
International journal of remote sensing
International journal of systems science
ACM Fortran Forum
更多>>
相关中文会议
重庆市自动化与仪器仪表学会建会二十周年庆祝会暨学术交流会
第十四届中国体视学与图像分析学术会议
中国会计学会第五届全国会计信息化年会
第二十五届中国数据库学术会议(NDBC2008)
中国仪器仪表学会东北过程自动化设计专业委员会第二十次年会暨2010年学术会议
中国仪器仪表学会仪表元件分会第五届仪器仪表元器件研讨会暨广东省仪器仪表学会第二次学术会议
2003信息化与信息资源管理学术研讨会
首届Witness仿真优化系统应用国际会议
全国第十一届可拓学年会
中国自动化学会中南六省区自动化学会第十届学术年会
更多>>
相关外文会议
Innovative approaches and solutions in advanced intelligent systems
Reachability problems
Image analysis and recognition
International joint conference on neural networks
Robotics and applications
IEEE Brasil RFID 2014
Adaptive and Learning Systems
Interactive distributed multimedia systems and telecommunication services
International Conference on Data Mining; ;
2014 Fifth International Conference on the Applications of Digital Information and Web Technologies
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games
机译:
随机奇偶游戏的策略改进和随机次指数算法
作者:
Krishnendu Chatterjee
;
Thomas A. Henzinger
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
2.
External String Sorting: Faster and Cache-Oblivious
机译:
外部字符串排序:速度更快且不受缓存影响
作者:
Rolf Fagerberg
;
Anna Pagh
;
Rasmus Pagh
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
3.
Invariants of Automatic Presentations and Semi-synchronous Transductions
机译:
自动演示和半同步转换的不变量
作者:
Vince Barany
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
4.
Forbidden Substrings, Kolmogorov Complexity and Almost Periodic Sequences
机译:
禁止的子串,Kolmogorov复杂度和几乎周期的序列
作者:
A.Yu. Rumyantsev
;
M.A. Ushakov
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
5.
Amortized Rigidness in Dynamic Cartesian Trees
机译:
动态笛卡尔树中的摊销刚性
作者:
Iwona Bialynicka-Birula
;
Roberto Grossi
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
6.
A Faster Algorithm for the Steiner Tree Problem
机译:
Steiner树问题的更快算法
作者:
Daniel Moelle
;
Stefan Richter
;
Peter Rossmanith
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
7.
Conflict-Free Colorings of Rectangles Ranges
机译:
矩形范围的无冲突着色
作者:
Khaled Elbassioni
;
Nabil H. Mustafa
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
8.
Convergence of Autonomous Mobile Robots with Inaccurate Sensors and Movements
机译:
具有不精确传感器和运动的自主移动机器人的融合
作者:
Reuven Cohen
;
David Peleg
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
9.
Convergence and Approximation in Potential Games
机译:
潜在博弈的收敛性和逼近性
作者:
George Christodoulou
;
Vahab S. Mirrokni
;
Anastasios Sidiropoulos
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
10.
DAG-Width and Parity Games
机译:
DAG宽度和奇偶游戏
作者:
Dietmar Berwanger
;
Anuj Dawar
;
Paul Hunter
;
Stephan Kreutzer
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
11.
Datalog and Constraint Satisfaction with Infinite Templates
机译:
无限模板的数据记录和约束满足
作者:
Manuel Bodirsky
;
Victor Dalmau
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
12.
Definability of Languages by Generalized First-Order Formulas over (N,+)
机译:
通过(N,+)上的广义一阶公式可定义语言
作者:
Amitabha Roy
;
Howard Straubing
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
13.
Quantum Algorithms for Matching and Network Flows
机译:
匹配和网络流的量子算法
作者:
Andris Ambainis
;
Robert Spalek
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
14.
On the Accepting Power of 2-Tape Buechi Automata
机译:
2磁带Buechi自动机的接受力
作者:
Olivier Finkel
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
关键词:
2-tape Buechi automata;
infinitary rational relations;
Cantor topology;
topological complexity;
Borel hierarchy;
complete sets;
15.
Online Sorting Buffers on Line
机译:
在线在线排序缓冲区
作者:
Rohit Khandekar
;
Vinayaka Pandit
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
16.
The Algorithmic Structure of Group Strategyproof Budget-Balanced Cost-Sharing Mechanisms
机译:
团体策略证明预算平衡的费用分担机制的算法结构
作者:
Paolo Penna
;
Carmine Ventre
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
17.
Nested Pebbles and Transitive Closure
机译:
嵌套的鹅卵石和传递封闭
作者:
Joost Engelfriet
;
Hendrik Jan Hoogeboom
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
18.
On the Complexity of the 'Most General' Firing Squad Synchronization Problem
机译:
关于“最一般”射击队同步问题的复杂性
作者:
Darin Goldstein
;
Kojiro Kobayashi
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
19.
Redundancy in Complete Sets
机译:
全套中的冗余
作者:
Christian Glasser
;
A. Pavan
;
Alan L. Selman
;
Liyu Zhang
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
20.
Sparse Selfreducible Sets and Polynomial Size Circuit Lower Bounds
机译:
稀疏的自约集和多项式大小的电路下界
作者:
Harry Buhrman
;
Leen Torenvliet
;
Falk Unger
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
关键词:
computational complexity;
sparseness;
selfreducibility;
21.
Regularity Problems for Visibly Pushdown Languages
机译:
可视下推式语言的正则性问题
作者:
Vince Barany
;
Christof Loeding
;
Olivier Serre
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
22.
Regular Expressions and NFAs Without ε- Transitions
机译:
没有ε-过渡的正则表达式和NFA
作者:
Georg Schnitger
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
23.
The Number of Runs in a String: Improved Analysis of the Linear Upper Bound
机译:
字符串中的游程数:线性上限的改进分析
作者:
Wojciech Rytter
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
24.
Weighted Asynchronous Cellular Automata
机译:
加权异步元胞自动机
作者:
Dietrich Kuske
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
25.
Tradeoffs in Depth-Two Superconcentrators
机译:
深度两个超级集中器的权衡
作者:
Chinmoy Dutta
;
Jaikumar Radhakrishnan
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
26.
Flat Holonomies on Automata Networks
机译:
自动机网络上的平面完整法
作者:
Gene Itkis
;
Leonid A. Levin
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
27.
Generalized Modal Satisfiability
机译:
广义模态可满足性
作者:
Michael Bauland
;
Edith Hemaspaandra
;
Henning Schnoor
;
Ilka Schnoor
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
关键词:
computational complexity, modal logic;
28.
Generating Randomized Roundings with Cardinality Constraints and Derandomizations
机译:
生成具有基数约束和非随机化的随机舍入
作者:
Benjamin Doerr
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
29.
Distribution-Sensitive Construction of Minimum-Redundancy Prefix Codes
机译:
最小冗余前缀代码的分布敏感构造
作者:
Ahmed Belal
;
Arar Elmasry
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
30.
Equivalence of F-Algebras and Cubic Forms
机译:
F-代数和三次形式的等价
作者:
Manindra Agrawal
;
Nitin Saxena
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
31.
Markov Decision Processes with Multiple Objectives
机译:
具有多个目标的马尔可夫决策过程
作者:
Krishnendu Chatterjee
;
Rupak Majumdar
;
Thomas A. Henzinger
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
32.
Memoryless Facility Location in One Pass
机译:
一站式无记忆设施位置
作者:
Dimitris Fotakis
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
33.
Kolmogorov Complexity and the Recursion Theorem
机译:
Kolmogorov复杂度和递归定理
作者:
Bjorn Kjos-Hanssen
;
Wolfgang Merkle
;
Frank Stephan
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
34.
The Ubiquitous Digital Tree
机译:
无所不在的数字树
作者:
Philippe Flajolet
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
35.
Weighted Picture Automata and Weighted Logics
机译:
加权图像自动机和加权逻辑
作者:
Ina Maeurer
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
36.
Theory and Application of Width Bounded Geometric Separator
机译:
宽度有界几何分离器的理论与应用
作者:
Bin Fu
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
37.
Fast FPT-Algorithms for Cleaning Grids
机译:
用于清洁网格的快速FPT算法
作者:
Josep Diaz
;
Dimitrios M. Thilikos
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
38.
Grid Vertex-Unfolding Orthogonal Polyhedra
机译:
网格顶点展开正交多面体
作者:
Mirela Damian
;
Robin Flatland
;
Joseph ORourke
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
39.
Evaluating Monotone Circuits on Cylinders, Planes and Tori
机译:
评估圆柱,平面和花托上的单调电路
作者:
Nutan Limaye
;
Meena Mahajan
;
Jayalal Sarma M.N.
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
40.
Estimating Entropy and Entropy Norm on Data Streams
机译:
估计数据流上的熵和熵范数
作者:
Amit Chakrabarti
;
Khanh Do Ba
;
S. Muthukrishnan
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
41.
Exact Price of Anarchy for Polynomial Congestion Games
机译:
多项式拥塞游戏的无政府状态的确切价格
作者:
Sebastian Aland
;
Dominic Dumrauf
;
Martin Gairing
;
Burkhard Monien
;
Florian Schoppmann
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
42.
Efficient Qualitative Analysis of Classes of Recursive Markov Decision Processes and Simple Stochastic Games
机译:
一类递归马尔可夫决策过程和简单随机博弈的有效定性分析
作者:
Kousha Etessami
;
Mihalis Yannakakis
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
43.
Energy-Efficient Algorithms for Flow Time Minimization
机译:
高效节能的流动时间最小化算法
作者:
Susanne Albers
;
Hiroshi Fujiwara
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
44.
Entanglement in Interactive Proof Systems with Binary Answers
机译:
带有二进制答案的交互式证明系统中的纠缠
作者:
Stephanie Wehner
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
45.
Kolmogorov Complexity with Error
机译:
带有错误的Kolmogorov复杂度
作者:
Lance Fortnow
;
Troy Lee
;
Nikolai Vereshchagin
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
46.
Linear Advice for Randomized Logarithmic Space
机译:
随机对数空间的线性建议
作者:
Lance Fortnow
;
Adam R. Klivans
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
47.
Pay Today for a Rainy Day: Improved Approximation Algorithms for Demand-Robust Min-Cut and Shortest Path Problems
机译:
今天为雨天付出代价:需求鲁棒的最小割和最短路径问题的改进的近似算法
作者:
Daniel Golovin
;
Vineet Goyal
;
R. Ravi
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
48.
On Critical Exponents in Fixed Points of Binary k-Uniform Morphisms
机译:
二元k均匀态不动点上的临界指数。
作者:
Dalia Krieger
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
关键词:
critical exponent;
binary k-uniform morphism;
49.
Complete Codes in a Sofic Shift
机译:
Sofic移位中的完整代码
作者:
Marie-Pierre Beal
;
Dominique Perrin
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
50.
Online Learning and Resource-Bounded Dimension: Winnow Yields New Lower Bounds for Hard Sets
机译:
在线学习和资源限制维度:Winnow为硬集产生了新的下界
作者:
John M. Hitchcock
会议名称:
《》
|
2006年
51.
Optimal Node Routing
机译:
最佳节点路由
作者:
Yossi Azar
;
Yoel Chaiutin
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
52.
Interprocedurally Analyzing Polynomial Identities
机译:
跨过程分析多项式恒等式
作者:
Markus Mueller-Olm
;
Michael Petter
;
Helmut Seidl
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
53.
Combining Multiple Heuristics
机译:
结合多种启发式
作者:
Tzur Sayag
;
Shai Fine
;
Yishay Mansour
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
54.
Constant-Depth Circuits for Arithmetic in Finite Fields of Characteristic Two
机译:
特征2的有限域中的算术恒定深度电路
作者:
Alexander Healy
;
Emanuele Viola
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
55.
Oblivious Symmetric Alternation
机译:
遗忘的对称交替
作者:
Venkatesan T. Chakaravarthy
;
Sambuddha Roy
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
56.
On Hypergraph and Graph Isomorphism with Bounded Color Classes
机译:
有界颜色类别的超图和图同构
作者:
V. Arvind
;
Johannes Koebler
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
57.
Reliable Computations Based on Locally Decodable Codes
机译:
基于本地可解码代码的可靠计算
作者:
Andrei Romashchenko
会议名称:
《Annual Symposium on Theoretical Aspects of Computer Science; 20060223-25; Marseille(FR)》
|
2006年
意见反馈
回到顶部
回到首页