掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)
International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
学电脑
计算机应用与软件
电脑编程技巧与维护
计算机与现代化
网络安全技术与应用
电脑迷
计算机工程与应用
模式识别与人工智能
软件世界
计算机应用
更多>>
相关外文期刊
Signal, Image and Video Processing
Computer Price Guide
ACM transactions on autonomous and adaptive systems
Macworld
International journal of gaming and computer-mediated simulations
Image and Vision Computing
Enterprise networks & Servers
Journal of global information technology management
International journal of information quality
Journal of Interconnection Networkers
更多>>
相关中文会议
中国自动化学会中南六省(区)第25届学术年会
2005中国IT民技军用高层论坛
全国控制网络会议
第十届工业仪表与自动化学术会议
2005中国控制与决策学术年会
SCEG2015研讨会(2015年“计算机科学与技术及教育技术“学术研讨会)
中国计算机用户协会仿真应用分会成立三十周年庆祝大会暨2013全国仿真技术学术会议
河南省计算机学会2008年学术年会
2005全国自动化新技术学术交流会
第二届全国高等学校计算机实践教学论坛
更多>>
相关外文会议
Systems, Man, and Cybernetics
2nd international conference on information interaction in context 2008
Models for Computer Aided Tolerancing in Design and Manufacturing
Education Technology and Training, 2009. ETT '09
2017 CHILEAN Conference on Electrical, Electronics Engineering, Information and Communication Technologies
Workshop on dialogue in motion
Foundational and practical aspects of resource analysis
International Workshop on Principles and Practice of Semantic Web Reasoning PPSWR 2003; Dec 8, 2003; Mumbai, India
2018 Annual American Control Conference
Mining, modeling, and recommending 'Things' in social media
更多>>
热门会议
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.
Valiant's Holant Theorem and Matchgate Tensors
机译:
英勇的霍兰特定理和Matchgate张量
作者:
Jin-Yi Cai
;
Vinay Choudhary
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
2.
Totally < ω~ω Computably Enumerable and m-topped Degrees
机译:
完全<ω〜ω可计算且达到m的度数
作者:
Rod Downey
;
Noam Greenberg
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
3.
The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces
机译:
稳定紧凑空间上的扩展概率Powerdomain Monad
作者:
Ben Cohen
;
Martin Escardo
;
Klaus Keimel
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
4.
Scheduling Jobs on a Flexible Batching Machine: Model, Complexity and Algorithms
机译:
在柔性配料机上调度作业:模型,复杂性和算法
作者:
Baoqiang Fan
;
Guochun Tang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
关键词:
scheduling;
batching machine;
complexity;
dynamic programming;
5.
Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions
机译:
使用多值ESOP表达式的最小模型中的安全计算
作者:
Takaaki Mizuki
;
Taro Otagiri
;
Hideaki Sone
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
6.
Succinct Text Indexes on Large Alphabet
机译:
大字母的简洁文本索引
作者:
Meng Zhang
;
Jijun Tang
;
Dong Guo
;
Liang Hu
;
Qiang Li
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
7.
Some Recent Results in U-Shaped Learning
机译:
U型学习的一些最新结果
作者:
Sanjay Jain
;
Frank Stephan
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
8.
Grey Reinforcement Learning for Incomplete Information Processing
机译:
灰色强化学习用于不完整的信息处理
作者:
Chunlin Chen
;
Daoyi Dong
;
Zonghai Chen
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
9.
Further Properties of Cayley Digraphs and Their Applications to Interconnection Networks
机译:
Cayley有向图的进一步性质及其在互连网络中的应用
作者:
Wenjun Xiao
;
Behrooz Parhami
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
10.
Generalized Counters and Reversal Complexity
机译:
广义计数器与逆转复杂度
作者:
M.V. Panduranga Rao
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
11.
Finding Min-Sum Disjoint Shortest Paths from a Single Source to All Pairs of Destinations
机译:
查找从单个源到所有目的地对的最小总和不相交最短路径
作者:
Bing Yang
;
S.Q. Zheng
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
关键词:
network;
routing;
reliability;
graph;
survival;
shortest path;
disjoint paths;
algorithm;
complexity;
12.
Forecasting Black Holes in Abstract Geometrical Computation is Highly Unpredictable
机译:
在抽象几何计算中预测黑洞是高度不可预测的
作者:
Jerome Durand-Lose
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
关键词:
abstract geometrical computation;
accumulation forecasting;
arithmetical hierarchy;
black hole model;
energy conservation;
super-turing computation;
turing universality;
zeno phenomena;
13.
Disjoint NP-Pairs from Propositional Proof Systems
机译:
命题证明系统中不相交的NP对
作者:
Olaf Beyersdorff
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
14.
Cluster Computing and the Power of Edge Recognition
机译:
集群计算和边缘识别的力量
作者:
Lane A. Hemaspaandra
;
Christopher M. Homan
;
Sven Kosub
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
15.
A New Lower Bound of Critical Function for (k,s)-SAT
机译:
(k,s)-SAT的临界函数的新下界
作者:
Ping Gong
;
Daoyun Xu
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
16.
An ACO-Based Approach for Task Assignment and Scheduling of Multiprocessor Control Systems
机译:
基于ACO的多处理器控制系统任务分配和调度方法
作者:
Hong Jin
;
Hui Wang
;
Hongan Wang
;
Guozhong Dai
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
17.
Alternative Measures of Computational Complexity with Applications to Agnostic Learning
机译:
计算复杂性的替代方法及其在不可知论学习中的应用
作者:
Shai Ben-David
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
18.
Adversary Immune Size Approximation of Single-Hop Radio Networks
机译:
单跳无线电网络的敌对免疫大小近似
作者:
Jedrzej Kabarowski
;
Miroslaw Kutylowski
;
Wojciech Rutkowski
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
19.
Automatic Classification of Protein Structure Based on Convex Hull Representation by Integrated Neural Network
机译:
集成神经网络的基于凸壳表示的蛋白质结构自动分类
作者:
Yong Wang
;
Ling-Yun Wu
;
Xiang-Sun Zhang
;
Luonan Chen
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
20.
Analyzing Chain Programs over Difference Constraints
机译:
分析差异约束下的链程序
作者:
K. Subramani
;
John Argentieri
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
21.
A Bounded Item Bin Packing Problem over Discrete Distribution
机译:
离散分布的有界物品箱包装问题
作者:
Jianxin Chen
;
Yuhang Yang
;
Hong Zhu
;
Peng Zeng
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
22.
Identification and Comparison of Motifs in Brain-Specific and Muscle-Specific Alternative Splicing
机译:
特定于大脑和特定于肌肉的选择性剪接中基序的鉴定和比较
作者:
Jianning Bi
;
Yanda Li
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
23.
Inductive Inference and Language Learning
机译:
归纳推理与语言学习
作者:
Thomas Zeugmann
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
24.
Encodings and Arithmetic Operations in Membrane Computing
机译:
膜计算中的编码和算术运算
作者:
Cosmin Bonchis
;
Gabriel Ciobanu
;
Cornel Izbasa
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
25.
Improved SAT Based Bounded Model Checking
机译:
改进的基于SAT的边界模型检查
作者:
Conghua Zhou
;
Decheng Ding
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
26.
Immunity Properties and the n-C.E. Hierarchy
机译:
抗扰性和n-C.E。层次结构
作者:
Bahareh Afshari
;
George Barmpalias
;
S. Barry Cooper
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
27.
Identity-Based Threshold Proxy Signature Scheme with Known Signers
机译:
具有已知签名者的基于身份的阈值代理签名方案
作者:
Haiyong Bao
;
Zhenfu Cao
;
Shengbao Wang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
28.
Learning Juntas in the Presence of Noise
机译:
在有噪音的情况下学习Juntas
作者:
Jan Arpe
;
Ruediger Reischuk
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
29.
Lowness for Weakly 1-generic and Kurtz-Random
机译:
弱1泛型和Kurtz-Random的低度
作者:
Prank Stephan
;
Liang Yu
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
30.
Models of Intuitionistic Set Theories over Partial Combinatory Algebras
机译:
部分组合代数上的直觉集理论模型
作者:
Michael Rathjen
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
31.
On-Line Algorithms, Real Time, the Virtue of Laziness, and the Power of Clairvoyance
机译:
在线算法,实时,懒惰的美德和千里眼的力量
作者:
Giorgio Ausiello
;
Luca Allulli
;
Vincenzo Bonifaci
;
Luigi Laura
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
32.
On Load-Balanced Semi-matchings for Weighted Bipartite Graphs
机译:
加权二部图的负载平衡半匹配
作者:
Chor Ping Low
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
关键词:
semi-matching;
bipartite graphs;
load balancing;
NP-hard;
approximation algorithm;
33.
On Rogers Semilattices
机译:
关于罗杰斯半格
作者:
Serikzhan Badaev
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
34.
On PAC Learning Algorithms for Rich Boolean Function Classes
机译:
丰富布尔函数类的PAC学习算法
作者:
Rocco A. Servedio
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
35.
On Non-binary Quantum BCH Codes
机译:
关于非二进制量子BCH码
作者:
Zhi Ma
;
Xin Lu
;
Keqin Feng
;
Dengguo Feng
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
36.
Quadratic Lower Bounds on Matrix Rigidity
机译:
矩阵刚度的二次下界
作者:
Satyanarayana V. Lokam
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
37.
Faster Algorithms for Sorting by Transpositions and Sorting by Block-Interchanges
机译:
按换位排序和按块互换排序的更快算法
作者:
Jianxing Feng
;
Darning Zhu
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
38.
Block Sensitivity of Weakly Symmetric Functions
机译:
弱对称函数的块敏感性
作者:
Xiaoming Sun
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
39.
A New Approximation Algorithm for the k-Facility Location Problem
机译:
k设施位置问题的一种新的近似算法
作者:
Peng Zhang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
40.
A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs
机译:
优先基本析取逻辑程序的最佳答案集的树结构
作者:
Zaiyue Zhang
;
Yuefei Sui
;
Cungen Cao
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
关键词:
logic programs;
double priority;
tree method;
41.
Analysis of Properties of Petri Synthesis Net
机译:
Petri网的性能分析
作者:
Chuanliang Xia
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
关键词:
petri nets;
analysis;
synthesis;
liveness and boundedness;
42.
A Generic Set That Does Not Bound a Minimal Pair
机译:
不绑定最小对的泛型集
作者:
Mariya Ivanova Soskova
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
43.
#3-Regular Bipartite Planar Vertex Cover is #P-Complete
机译:
#3-常规两部分平面顶点覆盖为#P-完全
作者:
Mingji Xia
;
Wenbo Zhao
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
44.
Invertible Classes
机译:
可逆类
作者:
Sanjay Jain
;
Jochen Nessel
;
Frank Stephan
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
45.
Learning Overcomplete Representations with a Generalized Gaussian Prior
机译:
用广义高斯先验学习超完备表示
作者:
Ling-Zhi Liao
;
Si-Wei Luo
;
Mei Tian
;
Lian-Wei Zhao
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
46.
Linear-Time 2-Approximation Algorithm for the Watchman Route Problem
机译:
守望者路径问题的线性时间2逼近算法
作者:
Xuehou Tan
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
47.
Mitosis in Computational Complexity
机译:
计算复杂性的有丝分裂
作者:
Christian Glasser
;
A. Pavan
;
Alan L. Selman
;
Liyu Zhang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
48.
Maximal Models of Assertion Graph in GSTE
机译:
GSTE中的断言图的最大模型
作者:
Guowu Yang
;
Jin Yang
;
Xiaoyu Song
;
Fei Xie
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
49.
LS-SVM Based on Chaotic Particle Swarm Optimization with Simulated Annealing
机译:
基于模拟退火的混沌粒子群优化算法的LS-SVM
作者:
Ai-ling Chen
;
Zhi-ming Wu
;
Gen-ke Yang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
50.
On Several Scheduling Problems with Rejection or Discretely Compressible Processing Times
机译:
关于带有拒绝或离散可压缩处理时间的多个调度问题
作者:
Zhigang Cao
;
Zhen Wang
;
Yuzhong Zhang
;
Shoupeng Liu
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
51.
On the Foundations of Universal Sequence Prediction
机译:
通用序列预测的基础
作者:
Marcus Hutter
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
52.
Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations
机译:
通过类别理论计算的面向对象的规范组成和细化
作者:
Yujun Zheng
;
Jinyun Xue
;
Weibo Liu
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
53.
On Differences Among Elementary Theories of Finite Levels of Ershov Hierarchies
机译:
关于Ershov层次结构的有限层基本理论之间的差异
作者:
Yue Yang
;
Liang Yu
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
54.
On Some Complexity Issues of NC Analytic Functions
机译:
关于NC解析函数的一些复杂性问题
作者:
Fuxiang Yu
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
55.
On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal
机译:
可数度模的不可商理想的商结构
作者:
Angsheng Li
;
Guohua Wu
;
Yue Yang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
56.
On-Line Regression Competitive with Reproducing Kernel Hilbert Spaces
机译:
在线回归与可再生内核希尔伯特空间的竞争
作者:
Vladimir Vovk
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
57.
On Probe Permutation Graphs
机译:
关于探针置换图
作者:
David B. Chandler
;
Maw-Shang Chang
;
Antonius J.J. Kloks
;
Jiping Liu
;
Sheng-Lung Peng
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
58.
On Mass Problems of Presentability
机译:
论可呈现性的大众问题
作者:
Alexey Stukachev
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
59.
Non-reducible Descriptions for Conditional Kolmogorov Complexity
机译:
条件Kolmogorov复杂度的不可约描述
作者:
Andrej Muchnik
;
Alexander Shen
;
Nikolai Vereshchagin
;
Michael Vyugin
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
60.
Multisource Algorithmic Information Theory
机译:
多源算法信息论
作者:
Alexander Shen
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
61.
Optimization Problems in the Polynomial-Time Hierarchy
机译:
多项式时间层次结构中的优化问题
作者:
Christopher Umans
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
62.
Protein Structure Comparison Based on a Measure of Information Discrepancy
机译:
基于信息差异测度的蛋白质结构比较
作者:
Zi-Kai Wu
;
Yong Wang
;
En-Min Feng
;
Jin-Cheng Zhao
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
63.
Beyond the First Main Theorem - When Is the Solution of a Linear Cauchy Problem Computable?
机译:
超越第一个主定理-线性柯西问题的解何时可计算?
作者:
Klaus Weihrauch
;
Ning Zhong
会议名称:
《》
|
2006年
64.
Width Versus Size in Resolution Proofs
机译:
分辨率证明中的宽度与大小
作者:
Alasdair Urquhart
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
65.
Towards Practical Computable Functions on Context-Free Languages
机译:
面向无上下文语言的实用可计算功能
作者:
Haiming Chen
;
Yunmei Dong
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
关键词:
recursive function, context-free language, structured data, operator, computability;
66.
Time Series Predictions Using Multi-scale Support Vector Regressions
机译:
使用多尺度支持向量回归的时间序列预测
作者:
Danian Zheng
;
Jiaxin Wang
;
Yannan Zhao
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
67.
Variable Minimal Unsatisfiability
机译:
可变的最小不满足
作者:
Zhenyu Chen
;
Decheng Ding
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
68.
The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation
机译:
通用模拟计算机和可计算分析是模拟计算的两个等效范例
作者:
Olivier Bournez
;
Manuel L. Campagnolo
;
Daniel S. Graca
;
Emmanuel Hainry
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
69.
Similarity of Objects and the Meaning of Words
机译:
客体的相似性和词义
作者:
Rudi Cilibrasi
;
Paul Vitanyi
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
70.
Universal Cupping Degrees
机译:
通用拔罐度
作者:
Angsheng Li
;
Yan Song
;
Guohua Wu
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
71.
The Trade-Off Theorem and Fragments of Goedel's T
机译:
权衡定理和Goedel T的片段
作者:
Lars Kristiansen
;
Paul J. Voda
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
72.
Real Time Critical Edge of the Shortest Path in Transportation Networks
机译:
交通网络中最短路径的实时临界边缘
作者:
Yinfeng Xu
;
Huahai Yan
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
关键词:
real time critical edge;
the shortest path;
algorithm;
transportation networks;
73.
Enumeration Degrees of the Bounded Total Sets
机译:
有界集合的枚举度
作者:
Boris Solon
;
Sergey Rozhkov
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
74.
Group Theory Based Synthesis of Binary Reversible Circuits
机译:
基于群论的二元可逆电路综合
作者:
Guowu Yang
;
Xiaoyu Song
;
William N.N. Hung
;
Fei Xie
;
Marek A. Perkowski
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2006); 20060515-20; Beijing(CN)》
|
2006年
意见反馈
回到顶部
回到首页