掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Automata, languages and programming
Automata, languages and programming
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
物联网学报
微型电脑应用
遥感学报
中国网通
网络与信息安全学报
软件学报
微处理机
电子游戏软件
互动软件
控制理论与应用(英文版)
更多>>
相关外文期刊
Journal in computer virology
Network
Computer networks
International journal of automation technology
Computer Fraud & Security
Advances in Engineering Software
The International journal of robotics research
IEEE transactions on evolutionary computation
Information systems journal
Applied Artificial Intelligence
更多>>
相关中文会议
第九届过程控制科学报告会(上、下)
第六届全国Web信息系统及其应用学术会议、第四届全国语义Web与本体论学术研讨会、第三届全国电子政务技术及应用学术研讨会
2003信息化与信息资源管理学术研讨会
第七届全国信息隐藏暨多媒体信息安全学术大会
中国电子学会电子系统工程分会指挥自动化情报与标准化学术研讨会
第十届全国容错计算机学术会议
CCF2014-2015中国计算机科学技术发展报告会
第29届中国数据库学术会议
第14届全国信息存储技术学术会议
电子出版物的管理与发展战略研讨会
更多>>
相关外文会议
Advances in intelligent systems
International Conference on Logic Programming(ICLP 2006); 20060817-20; Seattle,WA(US)
The internet of the future
WALCOM: algorithms and computation
Fuzzy logic and soft computing applications
Anomaly detection and imaging with X-rays
2017 IEEE International Conference on Big Data and Smart Computing
Emerging trends in knowledge discovery and data mining
Soft Computing, Computing with Words and Perceptions in System Analysis, Decision and Control, 2009. ICSCCW 2009
Applications and theory of petri nets
更多>>
热门会议
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.
On the power of las vegas II.two-way finite automata
机译:
关于拉斯维加斯的力量II。双向有限自动机
作者:
Juraj Hromkovic
;
Georg Schnitger
会议名称:
《Automata, languages and programming》
|
1999年
2.
Space-time tradeoffs for graph properties
机译:
图属性的时空权衡
作者:
Yevgeniy Dodis
;
Sanjeev Khanna
会议名称:
《Automata, languages and programming》
|
1999年
3.
Decomposition and composition fo timed automata
机译:
定时自动机的分解和组成
作者:
Patricia Bouyer
;
Antoine Petit
会议名称:
《Automata, languages and programming》
|
1999年
4.
Linear-time construction of two-dimensional suffix trees
机译:
二维后缀树的线性时间构造
作者:
Dong Kyue Kim
;
Kunsoo
;
Park
会议名称:
《Automata, languages and programming》
|
1999年
5.
A framework for decidable metrical logics
机译:
可判定的度量逻辑框架
作者:
Yoram Hirshfeld
;
Alexander Rabinovich
会议名称:
《Automata, languages and programming》
|
1999年
6.
Wide area computation
机译:
广域计算
作者:
Luca Cardelli
会议名称:
《Automata, languages and programming》
|
1999年
7.
Protein folding,the levinthal paradox and rapidly mixing markov chains
机译:
蛋白质折叠,左旋悖论和快速混合的马尔可夫链
作者:
Peter Clote
会议名称:
《Automata, languages and programming》
|
1999年
8.
Shortest anisotropic paths on terrains
机译:
地形上最短的各向异性路径
作者:
Mark Lanthier
;
Anil Maheshwari
;
Jorg-Rudiger Sack
会议名称:
《Automata, languages and programming》
|
1999年
关键词:
computational geometry;
shortest path;
approximation;
aniositropic paths.;
9.
Proof techniques for cryptographic protocols
机译:
加密协议的证明技术
作者:
kevin J.Compton
;
Scott Dexter
会议名称:
《Automata, languages and programming》
|
1999年
10.
Real computations with fake numbers
机译:
带有假数字的真实计算
作者:
Felipe Cucker
会议名称:
《Automata, languages and programming》
|
1999年
11.
On the complexity and inapproximability of shortest implicant problems
机译:
最短蕴涵问题的复杂性和不可逼近
作者:
Christopher Umans
会议名称:
《Automata, languages and programming》
|
1999年
12.
A variant of the arrow distributed directory with low average complexity
机译:
箭头分布式目录的变体,具有较低的平均复杂度
作者:
David Peleg
;
Eilon Reshef
会议名称:
《Automata, languages and programming》
|
1999年
13.
Numerical integration with exact real arithmetic
机译:
具有精确实数的数值积分
作者:
Abbas Edalat
;
Marko Krznaric
会议名称:
《Automata, languages and programming》
|
1999年
14.
Mobility types for mobile ambients
机译:
移动环境的移动性类型
作者:
Luca Cardelli
;
Giorgio Ghelli
;
Andrew D.Gordon
会议名称:
《Automata, languages and programming》
|
1999年
15.
General morphisms of petri nets
机译:
Petri网的一般形态
作者:
Marek A.Bednarczyk
;
Andrzej M.Borzyszkowski
会议名称:
《Automata, languages and programming》
|
1999年
16.
New upper bounds for maxsat
机译:
maxsat的新上限
作者:
Rolf Niedermeier
;
Peter Rossmanith
会议名称:
《Automata, languages and programming》
|
1999年
17.
Low redundancy in static dictionaries with O(1) worst case lookup time
机译:
具有O(1)最坏情况查找时间的静态词典中的低冗余
作者:
Rasmus Pagh
会议名称:
《Automata, languages and programming》
|
1999年
18.
Leader election by d dimensional cellular automata
机译:
d维元胞自动机的领导者选举
作者:
Codrin Nichitiu
;
Eric Remila
会议名称:
《Automata, languages and programming》
|
1999年
19.
from computational learning theory to discovery science
机译:
从计算学习理论到发现科学
作者:
Osamu Watanabe
会议名称:
《Automata, languages and programming》
|
1999年
20.
Efficient merging,construction,and maintenance of evolutionary trees
机译:
高效合并,构建和维护进化树
作者:
Andrzej Lingas
;
Hans Olsson
;
Anna Ostlin
会议名称:
《Automata, languages and programming》
|
1999年
21.
Distributed probabilistic polling and applications to proportionate agreement
机译:
分布式概率轮询和成比例协议的应用
作者:
yehuda Hassin
;
David Peleg
会议名称:
《Automata, languages and programming》
|
1999年
22.
Closed freyd- and k-categories
机译:
封闭的灰色和k分类
作者:
John Power
;
Hayo Thielecke
会议名称:
《Automata, languages and programming》
|
1999年
23.
Bisimulation equivanlence is decidable for normed process algebra
机译:
对于模范代数,双仿真等价性是可判定的
作者:
Toram Hirshfeld
;
Mark Jerrum
会议名称:
《Automata, languages and programming》
|
1999年
24.
Bounded depth arithmetic circuits:counting and closure
机译:
有界深度算术电路:计数和闭合
作者:
Eric Allender
;
Andris Ambainis
;
David A.Mix Barrington
;
Samir Datta
;
Huong LeThanh
会议名称:
《Automata, languages and programming》
|
1999年
25.
Decidable fragments of simultaneous rigid reachability
机译:
同时刚性可达性的可确定碎片
作者:
Veronique Cortier
;
Harald Ganzinger
;
Florent Jacquemard
;
Margus Veanes
会议名称:
《Automata, languages and programming》
|
1999年
26.
Communicating hierarchical state machines
机译:
通信分层状态机
作者:
Rajeev Alur
;
Sampath Kannan
;
Mihalis Yannakakis
会议名称:
《Automata, languages and programming》
|
1999年
27.
Compact routing tables for graphs of bounded genus
机译:
紧凑的路由表,用于有界属图
作者:
Cyril Gavoille
;
Nicolas Hanusse
会议名称:
《Automata, languages and programming》
|
1999年
28.
An FPTAS for agreeably weighted variance on a single machine
机译:
FPTAS,可在一台机器上实现一致的加权方差
作者:
Gerhard J.Woeginger
会议名称:
《Automata, languages and programming》
|
1999年
29.
Automata,power series,and coindction:taking input derivatives seriously
机译:
自动机,幂级数和幂:认真对待输入导数
作者:
J.J.M.Rutten
会议名称:
《Automata, languages and programming》
|
1999年
30.
Approximations by OBDDs and the variable ordering problem
机译:
OBDD的逼近和变量排序问题
作者:
Matthias Krause
;
Petr Savicky
;
Ingo Wegener
会议名称:
《Automata, languages and programming》
|
1999年
31.
Efficient techniques for maintaining multidimensional keys in linded data structures
机译:
在线性数据结构中维护多维键的有效技术
作者:
Roberto Grossi
;
Giuseppe F.Italiano
会议名称:
《Automata, languages and programming》
|
1999年
32.
Two-Way finite state transducers and monadic second-order logic
机译:
两路有限状态换能器和二阶二阶逻辑
作者:
Joost Engelfriet
;
Hendrik Jan Hoogeboom
会议名称:
《Automata, languages and programming》
|
1999年
33.
Typed exceptions and continuations cannot macro-express each other
机译:
类型化的异常和延续不能相互宏表达
作者:
Jon G.Riecke
;
Hayo Thielecke
会议名称:
《Automata, languages and programming》
|
1999年
34.
Type structure for low-level programming languages
机译:
低级编程语言的类型结构
作者:
Karl Crary
;
Greg Morrisett
会议名称:
《Automata, languages and programming》
|
1999年
35.
Polynomial and rational evaluation and interpolation (with structured matrices)~*
机译:
多项式和有理数评估和插值(带结构矩阵)〜*
作者:
Vadim Olshevsky
;
Victor Y.Pan
会议名称:
《Automata, languages and programming》
|
1999年
36.
Stable marriage with incomplete lists and ties
机译:
名单和关系不完整的稳定婚姻
作者:
kazuo Iwama
;
David Manlove
;
Shuichi Miyazaki
;
Yasufumi Morita
会议名称:
《Automata, languages and programming》
|
1999年
37.
New applications of the incompressibility method
机译:
不可压缩方法的新应用
作者:
Harry Buhrman
;
Tao Jiang
;
Ming Li
;
Paul Vitanyi
会议名称:
《Automata, languages and programming》
|
1999年
38.
Relations between local and global periodicity of words
机译:
词的局部和整体周期性之间的关系
作者:
A.Lepisto
会议名称:
《Automata, languages and programming》
|
1999年
39.
timed alternating tree automata:the automata-theoretic solution to the TCTL model checking problem
机译:
定时交替树自动机:TCTL模型检查问题的自动机理论解
作者:
Martin Dickhofer
;
Thomas Wilke
会议名称:
《Automata, languages and programming》
|
1999年
40.
Two techniques in the area of the star problem
机译:
恒星问题领域的两种技术
作者:
daniel Kirsten
;
Jerzy marcinkowski
会议名称:
《Automata, languages and programming》
|
1999年
41.
The wave propagator is turing computable
机译:
波浪传播器可计算
作者:
Klaus Weihrauch
;
Ning Zhong
会议名称:
《Automata, languages and programming》
|
1999年
42.
Small pseudo-random sets yield hard functions:new tight explicit lower bounds for branching programs
机译:
小型伪随机集产生硬功能:分支程序的新的严格的显式下界
作者:
Alexander E.Andreev
;
Juri L.Baskakov
;
Andrea E.F.Clementi
;
Jose D.P.Rolim
会议名称:
《Automata, languages and programming》
|
1999年
43.
Solos in concert
机译:
独奏音乐会
作者:
Cosimo Laneve
;
Bjorn Victor
会议名称:
《Automata, languages and programming》
|
1999年
44.
Simulation preorder on simple process algebras
机译:
简单过程代数上的仿真预购
作者:
Antonin Kucera
;
Richard Mayr
会议名称:
《Automata, languages and programming》
|
1999年
45.
Partially ordered regular languages for graph queries
机译:
图形查询的部分排序常规语言
作者:
Sergio Flesca
;
Sergio Greco
会议名称:
《Automata, languages and programming》
|
1999年
46.
Parametric temporal logic for 'model measuring'
机译:
用于“模型测量”的参数时间逻辑
作者:
Rajeev Alur
;
Kousha Etessami
;
Salvatore La Torre
;
Doron Peled
会议名称:
《Automata, languages and programming》
|
1999年
47.
Oon line data structures in external memory
机译:
外部存储器中的在线数据结构
作者:
Jeffrey Scott Vitter
会议名称:
《Automata, languages and programming》
|
1999年
48.
On some tighte inapproximability results
机译:
在一些紧缩性的结果
作者:
Piotr Berman
;
Marek Karpinski
会议名称:
《Automata, languages and programming》
|
1999年
49.
On the compolements of partial k-trees
机译:
关于偏k树的补余
作者:
Arvind Gupta
;
Damon Kaller
;
Thomas Shermer
会议名称:
《Automata, languages and programming》
|
1999年
50.
Accessing multiple sequences through set associatvie caches
机译:
通过集合关联缓存访问多个序列
作者:
Peter Sanders
会议名称:
《Automata, languages and programming》
|
1999年
关键词:
Set associative cache;
external meemory algorithm;
memory hierarchy;
multi merge.;
51.
A verag-case complexity of shellsort
机译:
复杂的shellsort案例
作者:
Tao Jiang
;
Ming Li
;
Paul Vitanyi
会议名称:
《Automata, languages and programming》
|
1999年
52.
Text Compression using antidictionaries
机译:
使用字典的文本压缩
作者:
M.Crochemore
;
F.Mignosi
;
A.Restivo
;
S.Salemi
会议名称:
《Automata, languages and programming》
|
1999年
关键词:
data compression;
information theory;
finite automaton;
forbidden word;
pattern matching;
53.
T(A)=T(B)?
机译:
T(A)= T(B)?
作者:
Geraud Senizergues
会议名称:
《Automata, languages and programming》
|
1999年
关键词:
deterministic pushdown transducers;
rational series;
finite dimensional vector spaces;
matrix semi-groups;
complete formal systems.;
54.
Observations about the nature and state of computer science
机译:
关于计算机科学的性质和状态的观察
作者:
Juris Hartmanis
会议名称:
《Automata, languages and programming》
|
1999年
55.
A connection between the star problem and the finite power property in trace monoids
机译:
跟踪问题中星形问题与有限幂特性之间的联系
作者:
daniel Kirsten
会议名称:
《Automata, languages and programming》
|
1999年
56.
A model for associative memory,a basis for thinking and consciousness
机译:
联想记忆模型,思维和意识的基础
作者:
N.G.de Bruijn
会议名称:
《Automata, languages and programming》
|
1999年
57.
Non-interactive zero-knowledge:a low-randomness characterization of NP
机译:
非交互式零知识:NP的低随机性表征
作者:
A.De Santis
;
G.Di Crescenzo
;
G.Persiano
会议名称:
《Automata, languages and programming》
|
1999年
58.
Generating hard instances of the short basis problem
机译:
生成短期问题的困难实例
作者:
Miklos Ajtai
会议名称:
《Automata, languages and programming》
|
1999年
59.
Finite automata with generalized acceptance criteria
机译:
具有广义接受标准的有限自动机
作者:
Timo Peichl
;
Heribert Vollmer
会议名称:
《Automata, languages and programming》
|
1999年
60.
Many-valued logics and holoographic proofs
机译:
多值逻辑和全息证明
作者:
Mario Szegedy
会议名称:
《Automata, languages and programming》
|
1999年
61.
Formalizing a lazy substitution proof system for #um#-calculus in the calculus of inductive constructions
机译:
在归纳结构演算中形式化#um#演算的惰性替代证明系统
作者:
Marino Miculan
会议名称:
《Automata, languages and programming》
|
1999年
62.
Deciding first-order properties of locally tree-decomposalbe graphs
机译:
决定局部树分解图的一阶性质
作者:
Markus Frick
;
Martin Grohe
会议名称:
《Automata, languages and programming》
|
1999年
63.
Computing LOGCFL certificates
机译:
计算LOGCFL证书
作者:
Georg Gottlob
;
Nicola Leone
;
Francesco Scarcello
会议名称:
《Automata, languages and programming》
|
1999年
64.
Comparison process algebra equivalences using formats
机译:
使用格式比较过程代数等价
作者:
Vashti Galpin
会议名称:
《Automata, languages and programming》
|
1999年
65.
Boundedness of reset P/T nets
机译:
重置P / T网络的边界
作者:
C.Dufourd
;
P.Jancar
;
Ph.Schnoebelen
会议名称:
《Automata, languages and programming》
|
1999年
意见反馈
回到顶部
回到首页