掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Automata, Languages and Programming
Automata, Languages and Programming
召开年:
2001
召开地:
Crete(GR);Crete(GR)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Algorithms, Games, and the Internet
机译:
算法,游戏和互联网
作者:
Christos H. Papadimitriou
会议名称:
《Automata, Languages and Programming》
|
2001年
2.
All-Pairs Shortest Paths Computation in the BSP Model
机译:
BSP模型中的全对最短路径计算
作者:
Alexandre Tiskin
会议名称:
《Automata, Languages and Programming》
|
2001年
3.
Amalgamation in Casl via Enriched Signatures
机译:
通过丰富的签名在Casl中进行合并
作者:
Lutz Schroeder
;
Till Mossakowski
;
Andrzej Tarlecki
会议名称:
《Automata, Languages and Programming》
|
2001年
4.
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS
机译:
HOAS中公称代数元推理的公理方法
作者:
Furio Honsell
;
Marino Miculan
;
Ivan Scagnetto
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
higher-order abstract syntax;
induction;
logical frameworks;
5.
Approximating the Minimum Spanning Tree Weight in Sublinear Time
机译:
在亚线性时间近似最小生成树权重
作者:
Bernard Chazelle
;
Ronitt Rubinfeld
;
Luca Trevisan
会议名称:
《Automata, Languages and Programming》
|
2001年
6.
Approximation Algorithms for Partial Covering Problems
机译:
部分覆盖问题的近似算法
作者:
Rajiv Gandhi
;
Samir Khuller
;
Aravind Srinivasan
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
approximation algorithms;
partial covering;
set cover;
vertex cover;
primal-dual methods;
randomized rounding;
7.
Approximation Hardness of TSP with Bounded Metrics
机译:
有界度量的TSP的近似硬度
作者:
Lars Engebretsen
;
Marek Karpinski
会议名称:
《Automata, Languages and Programming》
|
2001年
8.
Automata, Circuits, and Hybrids: Facets of Continuous Time
机译:
自动机,电路和混合动力:连续时间的各个方面
作者:
Boris A. Trakhtenbrot
会议名称:
《Automata, Languages and Programming》
|
2001年
9.
Axiomatizations for Probabilistic Bisimulation
机译:
概率双模拟的公理化
作者:
Emanuele Bandini
;
Roberto Segala
会议名称:
《Automata, Languages and Programming》
|
2001年
10.
Combinatorics and Algorithms on Low-Discrepancy Roundings of a Real Sequence
机译:
实序列低偏差舍入的组合和算法
作者:
Kunihiko Sadakane
;
Nadia Takki-Chebihi
;
Takeshi Tokuyama
会议名称:
《Automata, Languages and Programming》
|
2001年
11.
Combinatorics of Periods in Strings
机译:
字符串中的句点组合
作者:
Eric Rivals
;
Sven Rahmann
会议名称:
《Automata, Languages and Programming》
|
2001年
12.
Combinatorics of Three-Interval Exchanges
机译:
三间隔交易所的组合
作者:
Sebastien Ferenczi
;
Charles Holton
;
Luca Q. Zamboni
会议名称:
《Automata, Languages and Programming》
|
2001年
13.
Communication Gap for Finite Memory Devices
机译:
有限存储设备的通讯间隙
作者:
Tomasz Jurdzinski
;
Miroslaw Kutylowski
会议名称:
《Automata, Languages and Programming》
|
2001年
14.
Decidable Properties of Graphs of All-Optical Networks
机译:
全光网络图的可确定性质
作者:
Luciano Margara
;
Janos Simon
会议名称:
《Automata, Languages and Programming》
|
2001年
15.
Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages
机译:
关于半线性,形态和语言转换的决策问题
作者:
Tero Harju
;
Oscar Ibarra
;
Juhani Karhumaeki
;
Arto Salomaa
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
reversal-bounded counters;
context-free languages;
combinatorics on words;
commutation of languages;
rnorphisms;
16.
Distributed Controller Synthesis for Local Specifications
机译:
本地规范的分布式控制器综合
作者:
P. Madhusudan
;
P.S. Thiagarajan
会议名称:
《Automata, Languages and Programming》
|
2001年
17.
Division Is in Uniform TC~0
机译:
除法在统一TC〜0中
作者:
William Hesse
会议名称:
《Automata, Languages and Programming》
|
2001年
18.
Effective Lossy Queue Languages
机译:
有效的有损队列语言
作者:
Parosh Aziz Abdulla
;
Luc Boasson
;
Ahmed Bouajjani
会议名称:
《Automata, Languages and Programming》
|
2001年
19.
Efficient Generation of Plane Triangulations without Repetitions
机译:
有效生成平面三角剖分而无需重复
作者:
Zhangjian Li
;
Shin-ichi Nakano
会议名称:
《Automata, Languages and Programming》
|
2001年
20.
Fair Simulation Relations, Parity Games, and State Space Reduction for Buechi Automata
机译:
Buechi自动机的公平仿真关系,奇偶游戏和状态空间缩减
作者:
Kousha Etessami
;
Thomas Wilke
;
Rebecca A. Schuller
会议名称:
《Automata, Languages and Programming》
|
2001年
21.
Faster Gossiping on Butterflies
机译:
蝴蝶闲聊更快
作者:
Jop F. Sibeyn
会议名称:
《Automata, Languages and Programming》
|
2001年
22.
Finite-State Dimension
机译:
有限状态维
作者:
Jack J. Dai
;
James I. Lathrop
;
Jack H. Lutz
;
Elvira Mayordomo
会议名称:
《Automata, Languages and Programming》
|
2001年
23.
Foundations for Circular Compositional Reasoning
机译:
循环组成推理的基础
作者:
Mahesh Viswanathan
;
Ramesh Viswanathan
会议名称:
《Automata, Languages and Programming》
|
2001年
24.
Fractional Path Coloring with Applications to WDM Networks
机译:
小数路径着色及其在WDM网络中的应用
作者:
Ioannis Caragiannis
;
Afonso Ferreira
;
Christos Kaklamanis
;
Stephane Perennes
;
Herve Rivano
会议名称:
《Automata, Languages and Programming》
|
2001年
25.
From Finite State Communication Protocols to High-Level Message Sequence Charts
机译:
从有限状态通信协议到高级消息序列图
作者:
Anca Muscholl
;
Doron Peled
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
message sequence charts;
specification;
HMSC;
bounded automata;
partial order specification;
26.
Hidden Pattern Statistics
机译:
隐藏模式统计
作者:
Philippe Flajolet
;
Yves Guivarch
;
Wojciech Szpankowski
;
Brigitte Vallee
会议名称:
《Automata, Languages and Programming》
|
2001年
27.
Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width
机译:
模型检查中的超图:非循环性和超树宽度与集团宽度
作者:
Georg Gottlob
;
Reinhard Pichler
会议名称:
《Automata, Languages and Programming》
|
2001年
28.
Improved Lower Bounds on the Randomized Complexity of Graph Properties
机译:
图属性随机复杂度的下界改进
作者:
Amit Chakrabarti
;
Subhash Khot
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
decision tree complexity;
monotone graph properties;
randomized complexity;
randomized algorithms;
graph packing;
probabilistic method;
29.
Improvements of the Alder-Strassen Bound: Algebras with Nonzero Radical
机译:
Alder-Strassen界的改进:具有非零自由基的代数
作者:
Markus Blaeser
会议名称:
《Automata, Languages and Programming》
|
2001年
30.
Information-Theoretic Private Information Retrieval: A Unified Construction
机译:
信息理论的私人信息检索:统一的结构
作者:
Amos Beimel
;
Yuval Ishai
会议名称:
《Automata, Languages and Programming》
|
2001年
31.
Integrating Semantics for Object-Oriented System Models
机译:
面向对象的系统模型的集成语义
作者:
Martin Grosse-Rhode
会议名称:
《Automata, Languages and Programming》
|
2001年
32.
Knuth-Bendix Constraint Solving Is NP-Complete
机译:
Knuth-Bendix约束求解是NP完全的
作者:
Konstantin Korovin
;
Andrei Voronkov
会议名称:
《Automata, Languages and Programming》
|
2001年
33.
Languages, Rewriting Systems, and Verification of Infinite-State Systems
机译:
语言,重写系统和无限状态系统的验证
作者:
Ahmed Bouajjani
会议名称:
《Automata, Languages and Programming》
|
2001年
34.
Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution
机译:
分辨率超出范围的弱鸽洞原理的下界
作者:
Albert Atserias
;
Maria Luisa Bonet
;
Juan Luis Esteban
会议名称:
《Automata, Languages and Programming》
|
2001年
35.
Lower Bounds in the Quantum Cell Probe Model
机译:
量子单元探针模型的下界
作者:
Pranab Sen
;
S. Venkatesh
会议名称:
《Automata, Languages and Programming》
|
2001年
36.
Majority Consensus and the Local Majority Rule
机译:
多数同意与地方多数规则
作者:
Nabil H. Mustafa
;
Aleksandar Pekec
会议名称:
《Automata, Languages and Programming》
|
2001年
37.
Minimal Tail-Biting Trellises for Certain Cyclic Block Codes Are Easy to Construct
机译:
易于构造某些循环块码的最小尾位网格
作者:
Priti Shankar
;
P.N.A. Kumar
;
Harmeet Singh
;
B.S. Rajan
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
linear block codes;
cyclic codes;
reed-solomon codes;
tail-biting trellises;
38.
Model Checking of Unrestricted Hierarchical State Machines
机译:
无限制分层状态机的模型检查
作者:
Michael Benedikt
;
Patrice Godefroid
;
Thomas Reps
会议名称:
《Automata, Languages and Programming》
|
2001年
39.
Modelling with Partial Orders - Why and Why Not?
机译:
用偏序建模-为什么和为什么不呢?
作者:
Mogens Nielsen
会议名称:
《Automata, Languages and Programming》
|
2001年
40.
New Imperfect Random Source with Applications to Coin-Flipping
机译:
新的不完美随机源及其在硬币翻转中的应用
作者:
Yevgeniy Dodis
会议名称:
《Automata, Languages and Programming》
|
2001年
41.
Noninterference for Concurrent Programs
机译:
并发程序互不干扰
作者:
Gerard Boudol
;
Ilaria Castellani
会议名称:
《Automata, Languages and Programming》
|
2001年
42.
A Characterization of Temporal Locality and Its Portability across Memory Hierarchies
机译:
时间局部性的表征及其在存储层次结构中的可移植性
作者:
Gianfranco Bilardi
;
Enoch Peserico
会议名称:
《Automata, Languages and Programming》
|
2001年
43.
A Framework for Index Bulk Loading and Dynamization
机译:
索引批量加载和动态化的框架
作者:
Pankaj K. Agarwal
;
Lars Arge
;
Octavian Procopiuc
;
Jeffrey Scott
会议名称:
《Automata, Languages and Programming》
|
2001年
44.
A New Method for Balancing Binary Search Trees
机译:
平衡二叉搜索树的新方法
作者:
Salvador Roura
会议名称:
《Automata, Languages and Programming》
|
2001年
45.
A PTAS for Minimizing Weighted Completion Time on Uniformly Related Machines
机译:
PTAS,用于最小化统一关联机器上的加权完成时间
作者:
Chandra Chekuri
;
Sanjeev Khanna
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
polynomial time approximation scheme;
average completion time;
scheduling;
uniformly related machines;
weighted completion time;
46.
A Set-Theoretic Framework for Assume-Guarantee Reasoning
机译:
假设-保证推理的集合理论框架
作者:
Patrick Maier
会议名称:
《Automata, Languages and Programming》
|
2001年
47.
On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities
机译:
关于生成线性不等式单调系统的所有最小整数解
作者:
E. Boros
;
K. Elbassioni
;
V. Gurvich
;
L. Khachiyan
;
K. Makino
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
integer programming;
complexity of incremental algorithms;
dualization;
quasi-polynomial time;
monotone discrete binary functions;
monotone inequalities;
regular discrete functions;
48.
On Interactive Proofs with a Laconic Prover
机译:
使用拉康证明者的交互式证明
作者:
Oded Goldreich
;
Salil Vadhan
;
Avi Wigderson
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
interactive proofs;
arthur-merlin games;
sampling protocols;
statistical zero knowledge;
game theory;
49.
On Minimizing Average Weighted Completion Time of Multiprocessor Tasks with Release Dates
机译:
具有发布日期的多处理器任务的平均加权完成时间最小化
作者:
Aleksei V. Fishkin
;
Klaus Jansen
;
Lorant Porkolab
会议名称:
《Automata, Languages and Programming》
|
2001年
50.
On the Approximability of Average Completion Time Scheduling under Precedence Constraints
机译:
优先约束下平均完成时间调度的逼近性
作者:
Gerhard J. Woeginger
会议名称:
《Automata, Languages and Programming》
|
2001年
51.
On the Completeness of Arbitrary Selection Strategies for Paramodulation
机译:
任意调制策略的完备性
作者:
Miquel Bofill
;
Guillem Godoy
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
automated deduction;
52.
On the Online Bin Packing Problem
机译:
关于在线装箱问题
作者:
Steven S. Seiden
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
bin packing;
online algorithms;
53.
Online Packet Routing on Linear Arrays and Rings
机译:
线性阵列和环网上的在线数据包路由
作者:
Jessen T. Havill
会议名称:
《Automata, Languages and Programming》
|
2001年
54.
Optimistic Asynchronous Multi-party Contract Signing with Reduced Number of Rounds
机译:
减少轮数的乐观异步多方合同签署
作者:
Birgit Baum-Waidner
会议名称:
《Automata, Languages and Programming》
|
2001年
55.
Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems
机译:
参数化的复杂性:平面图问题的指数加速
作者:
Jochen Alber
;
Henning Fernau
;
Rolf Niedermeier
会议名称:
《Automata, Languages and Programming》
|
2001年
56.
Performance Aspects of Distributed Caches Using TTL-Based Consistency
机译:
使用基于TTL的一致性的分布式缓存的性能方面
作者:
Edith Cohen
;
Eran Halperin
;
Haim Kaplan
会议名称:
《Automata, Languages and Programming》
|
2001年
57.
Permutation Editing and Matching via Embeddings
机译:
通过嵌入进行排列编辑和匹配
作者:
Graham Cormode
;
S. Muthukrishnan
;
Sueleyman Cenk Sahinalp
会议名称:
《Automata, Languages and Programming》
|
2001年
58.
Quantum Complexities of Ordered Searching, Sorting, and Element Distinctness
机译:
有序搜索,排序和元素区分的量子复杂性
作者:
Peter Hoyer
;
Jan Neerbek
;
Yaoyun Shi
会议名称:
《Automata, Languages and Programming》
|
2001年
59.
Quick k-Median, k-Center, and Facility Location for Sparse Graphs
机译:
稀疏图的快速k中位数,k中心和设施位置
作者:
Mikkel Thorup
会议名称:
《Automata, Languages and Programming》
|
2001年
60.
Rational Transformations of Formal Power Series
机译:
形式幂级数的有理变换
作者:
Manfred Droste
;
Guo-Qiang Zhang
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
formal power series;
rational languages;
recognizable languages;
weighted finite automata;
61.
Realizability and Verification of MSC Graphs
机译:
MSC图的可实现性和验证
作者:
Rajeev Alur
;
Kousha Etessami
;
Mihalis Yannakakis
会议名称:
《Automata, Languages and Programming》
|
2001年
62.
Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs
机译:
消息序列图的顺序和分支行为的推理
作者:
P. Madhusudan
会议名称:
《Automata, Languages and Programming》
|
2001年
63.
Recognizing More Unsatisfiable Random 3-SAT Instances Efficiently
机译:
有效地识别更多无法满足的随机3-SAT实例
作者:
Joel Friedman
;
Andreas Goerdt
会议名称:
《Automata, Languages and Programming》
|
2001年
64.
Routing in Trees
机译:
树中路由
作者:
Pierre Fraigniaud
;
Cyril Gavoille
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
compact routing;
trees;
routing algorithms;
65.
Secure Games with Polynomial Expressions
机译:
使用多项式表达式保护游戏
作者:
Aggelos Kiayias
;
Moti Yung
会议名称:
《Automata, Languages and Programming》
|
2001年
66.
Secure Multiparty Computation of Approximations
机译:
安全的多方近似计算
作者:
Joan Feigenbaum
;
Yuval Ishai
;
Tal Malkin
;
Kobbi Nissim
;
Martin J. Strauss
;
Rebecca N. Wright
会议名称:
《Automata, Languages and Programming》
|
2001年
67.
Separating Quantum and Classical Learning
机译:
分离量子和经典学习
作者:
Rocco A. Servedio
会议名称:
《Automata, Languages and Programming》
|
2001年
68.
Solvability of Equations in Free Partially Commutative Groups Is Decidable
机译:
自由部分交换组中方程的可解性是确定的
作者:
Volker Diekert
;
Anca Muscholl
会议名称:
《Automata, Languages and Programming》
|
2001年
69.
Subexponential Parameterized Algorithms Collapse the W-Hierarchy
机译:
次指数参数化算法会使W层级崩溃
作者:
Liming Cai
;
David Juedes
会议名称:
《Automata, Languages and Programming》
|
2001年
70.
Symbolic Trace Analysis of Cryptographic Protocols
机译:
加密协议的符号跟踪分析
作者:
Michele Boreale
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
spi-calculus;
concurrency;
formal methods for security protocols;
71.
Testing Hypergraph Coloring
机译:
测试超图着色
作者:
Artur Czumaj
;
Christian Sohler
会议名称:
《Automata, Languages and Programming》
|
2001年
72.
The Buffer Minimization Problem for Multiprocessor Scheduling with Conflicts
机译:
有冲突的多处理器调度的缓冲区最小化问题
作者:
Marek Chrobak
;
Janos Csirik
;
Csanad Imreh
;
John Noga
;
Jiri Sgall
;
Gerhard J. Woeginger
会议名称:
《Automata, Languages and Programming》
|
2001年
73.
The Complexity of Computing the Size of an Interval
机译:
计算间隔大小的复杂性
作者:
Lane A. Hemaspaandra
;
Sven Kosub
;
Klaus W. Wagner
会议名称:
《Automata, Languages and Programming》
|
2001年
74.
The Complexity of Constructing Evolutionary Trees Using Experiments
机译:
实验构建进化树的复杂性
作者:
Gerth Stolting Brodal
;
Rolf Fagerberg
;
Christian N.S. Pedersen
;
Anna Oestlin
会议名称:
《Automata, Languages and Programming》
|
2001年
75.
The Longest Common Subsequence Problem for Sequences with Nested Arc Annotations
机译:
带有嵌套弧注释的序列的最长公共子序列问题
作者:
Guo-Hui Lin
;
Zhi-Zhong Chen
;
Tao Jiang
;
Jianjun Wen
会议名称:
《Automata, Languages and Programming》
|
2001年
76.
The RPR~2 Rounding Technique for Semidefinite Programs
机译:
半定程序的RPR〜2舍入技术
作者:
Uriel Feige
;
Michael Langberg
会议名称:
《Automata, Languages and Programming》
|
2001年
77.
The Star Problem in Trace Monoids: Reductions Beyond C4
机译:
痕迹类id虫中的明星问题:C4之后的还原
作者:
Daniel Kirsten
会议名称:
《Automata, Languages and Programming》
|
2001年
78.
The Trace Coding Problem Is Undecidable
机译:
跟踪编码问题无法确定
作者:
Michal Kunc
会议名称:
《Automata, Languages and Programming》
|
2001年
79.
Theoretical Aspects of Evolutionary Algorithms
机译:
进化算法的理论方面
作者:
Ingo Wegener
会议名称:
《Automata, Languages and Programming》
|
2001年
80.
Time and Space Bounds for Reversible Simulation
机译:
可逆仿真的时间和空间界限
作者:
Harry Buhrman
;
John Tromp
;
Paul Vitanyi
会议名称:
《Automata, Languages and Programming》
|
2001年
81.
Total Colorings of Degenerated Graphs
机译:
退化图的总着色
作者:
Shuji Isobe
;
Xiao Zhou
;
Takao Nishizeki
会议名称:
《Automata, Languages and Programming》
|
2001年
82.
Towards Quantitative Verification of Probabilistic Transition Systems
机译:
走向概率转移系统的定量验证
作者:
Franck van Breugel
;
James Worrell
会议名称:
《Automata, Languages and Programming》
|
2001年
83.
Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols
机译:
具有一个内存,设置约束和乒乓协议的树自动机
作者:
Hubert Comon
;
Veronique Cortier
;
John Mitchell
会议名称:
《Automata, Languages and Programming》
|
2001年
84.
Visibility-Based Pursuit-Evasion in a Polygonal Region by a Searcher
机译:
搜索者在多边形区域中基于可见度的追踪逃避
作者:
Sang-Min Park
;
Jae-Ha Lee
;
Kyung-Yong Chwa
会议名称:
《Automata, Languages and Programming》
|
2001年
85.
Weisfeiler-Lehman Refinement Requires at Least a Linear Number of Iterations
机译:
Weisfeiler-Lehman优化至少需要线性数量的迭代
作者:
Martin Fuerer
会议名称:
《Automata, Languages and Programming》
|
2001年
关键词:
graph isomorphism testing;
weisfeiler-lehman refinement;
games;
descriptive complexity;
意见反馈
回到顶部
回到首页