掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)
International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
机器人
计算机辅助工程
数码先锋
工业控制计算机
博客族
自动化技术与应用
计算机科学与探索
传感器世界
电脑编程技巧与维护
大众硬件
更多>>
相关外文期刊
Business 2.0
Acta Informatica
International journal of embedded and real-time communication systems
International journal of dependable and trustworthy information systems
International journal of knowledge engineering and soft data paradigms
Foundations and trends in human-computer interaction
Ada Letters
Journal of ambient intelligence and smart environments
Datenverarbeitung Steuer Wirtschaft Recht
Computing and information systems technical reports
更多>>
相关中文会议
第四届复旦大学博士生学术论坛——信息科学与技术
全国第五届VXI技术专题报告会
2007中国控制与决策学术年会
第四届中国测试学术会议
中南六省自动化学会第二十三届学术年会
全国Web信息系统及其应用学术会议、全国语义Web与本体论学术研讨会暨全国电子政务技术与应用学术研讨会
中国控制会议
2014第20届全国信息存储技术学术会议
中国中文信息学会二十五周年学术会议
中国计算机学会全国软件与应用学术会议(NASAC2009)
更多>>
相关外文会议
International Conference on Information Processing in Medical Imaging(IPMI 2005); 20050710-15; Glenwood Springs,CO(US)
Mathematical modeling and computational science.
2009 Second International Workshop on Requirements Engineering and Law (RELAW'09)
Information quality in e-health
Implementation and application of functional languages
Intelligent distributed computing IX
Artificial intelligence applications and innovations
Risk Assessment and Risk-Driven Quality Assurance
2013 IEEE Workshop on Memetic Computing
2017 ISEA Asia Security and Privacy
更多>>
热门会议
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.
A Characterization of the Language Classes Learnable with Correction Queries
机译:
带有校正查询可学习的语言类的表征
作者:
Cristina Tirnauca
;
Satoshi Kobayashi
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
correction query;
query learning;
gold-style learning;
2.
Learnable Algorithm on the Continuum
机译:
连续体上的可学习算法
作者:
Zhimin Li
;
Xiang Li
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
3.
A Distributed Algorithm of Fault Recovery for Stateful Failover
机译:
有状态故障转移的分布式故障恢复算法
作者:
Indranil Saha
;
Debapriyay Mukhopadhyay
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
distributed algorithm;
stateful failover;
verification of programs;
SPIN model checker;
4.
Enhancing Simulation for Checking Language Containment
机译:
增强仿真以检查语言是否包含
作者:
Jin Yi
;
Wenhui Zhang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
5.
Improving the Average Delay of Sorting
机译:
改善平均排序延迟
作者:
Andreas Jakoby
;
Maciej Liskiewicz
;
Ruediger Reischuk
;
Christian Schindelhauer
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
6.
The Existence of Unsatisfiable Formulas in k-LCNF for k ≥ 3
机译:
k≥3时k-LCNF中不满足公式的存在
作者:
Qingshun Zhang
;
Daoyun Xu
会议名称:
《》
|
2007年
7.
Efficient Algorithms for Airline Problem
机译:
航空公司问题的高效算法
作者:
Shin-ichi Nakano
;
Ryuhei Uehara
;
Takeaki Uno
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
airline problem;
approximation algorithm;
efficient algorithm;
NP-completeness;
8.
Two Improved Range-Efficient Algorithms for F_0 Estimation
机译:
用于F_0估计的两种改进的距离有效算法
作者:
He Sun
;
Chung Keung Poon
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
9.
Working with the LR Degrees
机译:
LR学位课程
作者:
George Barmpalias
;
Andrew E.M. Lewis
;
Mariya Soskova
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
10.
An Efficient Algorithm for Generating Colored Outerplanar Graphs
机译:
生成彩色外平面图的高效算法
作者:
Jiexun Wang
;
Liang Zhao
;
Hiroshi Nagamochi
;
Tatsuya Akutsu
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
11.
A Note on Universal Composable Zero Knowledge in Common Reference String Model
机译:
关于通用参考字符串模型中通用可组合零知识的注释
作者:
Andrew C.C. Yao
;
Frances F. Yao
;
Yunlei Zhao
会议名称:
《》
|
2007年
12.
t-Private and Secure Auctions
机译:
t私人拍卖和安全拍卖
作者:
Markus Hinkelmann
;
Andreas Jakoby
;
Peer Stechert
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
13.
The Undecidability of the Generalized Collatz Problem
机译:
广义Collatz问题的不确定性
作者:
Stuart A. Kurtz
;
Janos Simon
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
14.
Protecting Against Key Escrow and Key Exposure in Identity-Based Cryptosystem
机译:
在基于身份的密码系统中防止密钥托管和密钥暴露
作者:
Jin Wang
;
Xi Bai
;
Jia Yu
;
Daxing Li
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
identity-based cryptography;
key escrow;
key exposure;
bilinear pairings;
key-insulated cryptosystem;
15.
The Hardness of Selective Network Design for Bottleneck Routing Games
机译:
瓶颈路由游戏的选择性网络设计的难点
作者:
Haiyang Hou
;
Guochuan Zhang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
16.
Computability on Subsets of Locally Compact Spaces
机译:
局部紧空间子集的可计算性
作者:
Yatao Xu
;
Tanja Grubba
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
17.
Directed Searching Digraphs: Monotonicity and Complexity
机译:
定向搜索图:单调性和复杂性
作者:
Boting Yang
;
Yi Cao
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
18.
A Polynomial Time Algorithm for Finding Linear Interval Graph Patterns
机译:
查找线性间隔图模式的多项式时间算法
作者:
Hitoshi Yamasaki
;
Takayoshi Shoudai
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
19.
Elementary Differences Among Jump Hierarchies
机译:
跳转层次结构之间的基本差异
作者:
Angsheng Li
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
20.
Finding a Duplicate and a Missing Item in a Stream
机译:
在流中查找重复项和丢失项
作者:
Jun Tarui
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
data stream algorithm;
communication complexity;
finding duplicate;
finding missing item;
pigeonhole principle;
proof complexity;
21.
Improved Exponential Time Lower Bound of Knapsack Problem Under BT Model
机译:
BT模型下背包问题的改进指数时间下界。
作者:
Xin Li
;
Tian Liu
;
Han Peng
;
Liyan Qian
;
Hongtao Sun
;
Jin Xu
;
Ke Xu
;
Jiaqi Zhu
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
22.
On Deciding Deep Holes of Reed-Solomon Codes
机译:
关于确定里德-所罗门码的深孔
作者:
Qi Cheng
;
Elizabeth Murray
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
reed-solomon codes;
deep hole;
NP-complete;
algebraic surface;
23.
Efficient Computation of Algebraic Immunity of Symmetric Boolean Functions
机译:
对称布尔函数的代数免疫度的有效计算
作者:
Feng Liu
;
Keqin Feng
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
symmetric boolean function;
algebraic immunity;
cryptography;
24.
Absolutely Non-effective Predicates and Functions in Computable Analysis
机译:
可计算分析中的绝对无效谓词和函数
作者:
Decheng Ding
;
Klaus Weihrauch
;
Yongcheng Wu
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
computability;
undecidability;
representation;
measure;
set;
25.
Revisiting the Impossibility for Boosting Service Resilience
机译:
再次探讨提高服务弹性的可能性
作者:
Xingwu Liu
;
Zhiwei Xu
;
Juhua Pu
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
26.
Approximability and Parameterized Complexity of Consecutive Ones Submatrix Problems
机译:
连续一个子矩阵问题的逼近度和参数化复杂度
作者:
Michael Dom
;
Jiong Guo
;
Rolf Niedermeier
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
27.
Parameterized Algorithms for Weighted Matching and Packing Problems
机译:
加权匹配和打包问题的参数化算法
作者:
Yunlong Liu
;
Jianer Chen
;
Jianxin Wang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
28.
Construct Public Key Encryption Scheme Using Ergodic Matrices over GF(2)
机译:
在GF(2)上使用遍历矩阵构造公共密钥加密方案
作者:
Pei Shi-Hui
;
Zhao Yong-Zhe
;
Zhao Hong-Wei
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
29.
An Approximation Algorithm Based on Chain Implication for Constrained Minimum Vertex Covers in Bipartite Graphs
机译:
二分图中有约束的最小顶点覆盖的基于链蕴涵的近似算法
作者:
Jianxin Wang
;
Xiaoshuang Xu
;
Jianer Chen
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
30.
Synchronization of Some DFA
机译:
某些DFA的同步
作者:
A.N. Trahtman
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
deterministic finite automata;
synchronization;
aperiodic semigroup;
cerny conjecture;
31.
On the Treewidth and Pathwidth of Biconvex Bipartite Graphs
机译:
关于Biconvex二部图的树宽和路径宽
作者:
Sheng-Lung Peng
;
Yi-Chuan Yang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
32.
On Exact Complexity of Subgraph Homeomorphism
机译:
关于子图同胚的精确复杂度
作者:
Andrzej Lingas
;
Martin Wahlen
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
33.
New Left-to-Right Radix-r Signed-Digit Recoding Algorithm for Pairing-Based Cryptosystems
机译:
基于配对的密码系统的新的从左到右的Radix-r有符号数字重新编码算法
作者:
Fanyu Kong
;
Jia Yu
;
Zhun Cai
;
Daxing Li
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
elliptic curve cryptosystems;
pairing-based cryptosystems;
point multiplication;
signed-digit number representations;
34.
The Strongest Nonsplitting Theorem
机译:
最强不分裂定理
作者:
Mariya Ivanova Soskova
;
S. Barry Cooper
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
35.
Linear-Size Log-Depth Negation-Limited Inverter for k-Tonic Binary Sequences
机译:
k-Tonic二进制序列的线性大小对数深度取反限制型反相器
作者:
Hiroki Morizumi
;
Jun Tarui
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
circuit complexity;
negation-limited circuit;
inverter;
k-tonic;
36.
Encapsulated Scalar Multiplications and Line Functions in the Computation of Tate Pairing
机译:
泰特对计算中的封装标量乘法和线函数
作者:
Rongquan Feng
;
Hongfeng Wu
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
elliptic curve;
scalar multiplication;
line function;
tate pairing;
miller's path;
37.
A Provably Secure Blind Signature Scheme
机译:
可靠的盲人签名方案
作者:
Xiaoming Hu
;
Shangteng Huang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
blind signature;
provably secure;
polynomial reduction;
security arguments;
38.
Phase Transition of Multivariate Polynomial Systems
机译:
多元多项式系统的相变
作者:
Giordano Fusco
;
Eric Bach
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
39.
Approximating Capacitated Tree-Routings in Networks
机译:
网络中的近似带容量树的路由
作者:
Ehab Morsy
;
Hiroshi Nagamochi
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
approximation algorithm;
graph algorithm;
routing problems;
network optimization;
tree cover;
40.
Approximately Optimal Trees for Group Key Management with Batch Updates
机译:
具有批处理更新的组密钥管理的最佳树
作者:
Minming Li
;
Ze Feng
;
Ronald L. Graham
;
Frances F. Yao
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
41.
An Approximation Algorithm to the k-Steiner Forest Problem
机译:
k-Steiner森林问题的一种近似算法
作者:
Peng Zhang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
42.
Orthogonal Drawings for Plane Graphs with Specified Face Areas
机译:
指定面面积的平面图的正交图
作者:
Akifumi Kawaguchi
;
Hiroshi Nagamochi
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
43.
Approximation to the Minimum Rooted Star Cover Problem
机译:
最小根星覆盖问题的近似值
作者:
Wenbo Zhao
;
Peng Zhang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
minimum rooted star cover;
approximation algorithm;
44.
Kernelizations for Parameterized Counting Problems
机译:
参数化计数问题的内核化
作者:
Marc Thurley
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
45.
Approximation Algorithms for Maximum Edge Coloring Problem
机译:
最大边缘着色问题的近似算法
作者:
Wangsen Feng
;
Liang Zhang
;
Wanling Qu
;
Hanpin Wang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
46.
There is an Sw-Cuppable Strongly c.e. Real
机译:
有一个Sw-Cuppable Strong c.e.真实
作者:
Yun Fan
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
47.
Approximation Algorithms for 3D Orthogonal Knapsack
机译:
3D正交背包的近似算法
作者:
Florian Diedrich
;
Rolf Harren
;
Klaus Jansen
;
Ralf Thoele
;
Henning Thomas
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
48.
Online Deadline Scheduling with Bounded Energy Efficiency
机译:
具有无限能效的在线截止时间调度
作者:
Joseph Wun-Tat Chan
;
Tak-Wah Lam
;
Kin-Sum Mak
;
Prudence W.H. Wong
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
49.
Detecting Sharp Drops in PageRank and a Simplified Local Partitioning Algorithm
机译:
检测PageRank中的急剧下降和简化的局部分区算法
作者:
Reid Andersen
;
Fan Chung
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
50.
Generalizations of the Compactness Theorem and Goedel's Completeness Theorem for Nonstandard Finite Structures
机译:
非标准有限结构的紧性定理和Goedel完备性定理的推广
作者:
Miklos Ajtai
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
51.
QBF-Based Symbolic Model Checking for Knowledge and Time
机译:
基于QBF的知识和时间符号模型检查
作者:
Conghua Zhou
;
Zhenyu Chen
;
Zhihong Tao
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
52.
Feedback Arc Set Problem in Bipartite Tournaments
机译:
二等赛中的反馈弧集问题
作者:
Sushmita Gupta
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
approximation algorithms;
feedback arc set;
bipartite tournaments;
53.
Studying on Economic-Inspired Mechanisms for Routing and Forwarding in Wireless Ad Hoc Network
机译:
无线自组网路由和转发的经济启发机制研究
作者:
Yufeng Wang
;
Yoshiaki Hori
;
Kouichi Sakurai
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
54.
Path Embedding on Folded Hypercubes
机译:
折叠超立方体上的路径嵌入
作者:
Sun-Yuan Hsieh
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
55.
Searching a Polygonal Region by Two Guards
机译:
由两名警卫人员搜索多边形区域
作者:
Xuehou Tan
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
56.
On the Internal Steiner Tree Problem
机译:
关于斯坦纳树的内部问题
作者:
Sun-Yuan Hsieh
;
Huang-Ming Gao
;
Shih-Cheng Yang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
57.
On Computation Complexity of the Concurrently Enabled Transition Set Problem
机译:
并发使能过渡集问题的计算复杂度
作者:
Li Pan
;
Weidong Zhao
;
Zhicheng Wang
;
Gang Wei
;
Shumei Wang
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
58.
Efficient Exact Arithmetic over Constructive Reals
机译:
构造实数上的有效精确算法
作者:
Yong Li
;
Jun-Hai Yong
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
59.
Combinatorial and Spectral Aspects of Nearest Neighbor Graphs in Doubling Dimensional and Nearly-Euclidean Spaces
机译:
双维和近欧氏空间中最近邻图的组合和谱方面
作者:
Yingchao Zhao
;
Shang-Hua Teng
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
doubling dimension;
shallow minor;
neighborhood system;
metric embedding;
fiedler value;
60.
Maximum Edge-Disjoint Paths Problem in Planar Graphs
机译:
平面图中的最大边不相交路径问题
作者:
Mingji Xia
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
maximum edge-disjoint paths;
determinant;
#P-hard;
61.
Bounding Run-Times of Local Adiabatic Algorithms
机译:
局部绝热算法的有界运行时间
作者:
M.V. Panduranga Rao
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
62.
A Note on the Feasibility of Generalized Universal Composability (Extended Abstract)
机译:
关于通用通用可组合性可行性的注释(扩展摘要)
作者:
Andrew C.C. Yao
;
Prances F. Yao
;
Yunlei Zhao
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
63.
Secure Multiparty Computations Using a Dial Lock (Extended Abstract)
机译:
使用拨号锁保护多方计算(扩展摘要)
作者:
Takaaki Mizuki
;
Yoshinori Kugimoto
;
Hideaki Sone
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
64.
A Time Hierarchy Theorem for Nondeterministic Cellular Automata
机译:
非确定性元胞自动机的时间层次定理
作者:
Chuzo Iwamoto
;
Harumasa Yoneda
;
Kenichi Morita
;
Katsunobu Imai
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
65.
Decidability of Propositional Projection Temporal Logic with Infinite Models
机译:
具有无限模型的命题投影时间逻辑的可判定性
作者:
Zhenhua Duan
;
Cong Tian
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
interval temporal logic;
satisfiability;
decidability;
infinite model;
model checking;
66.
Separation of Data Via Concurrently Determined Discriminant Functions
机译:
通过同时确定的判别函数进行数据分离
作者:
Hong Seo Ryoo
;
Kwangsoo Kim
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
data classification, machine learning, mixed integer and linear programming;
67.
A Comparative Study of Efficient Algorithms for Partitioning a Sequence into Monotone Subsequences
机译:
将序列划分为单调子序列的高效算法的比较研究
作者:
Bing Yang
;
Jing Chen
;
Enyue Lu
;
S.Q. Zheng
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
monotone;
subsequence;
permutation;
algorithm;
NP-complete;
approximation;
complexity;
68.
A New Approach to Graph Recognition and Applications to Distance-Hereditary Graphs
机译:
图识别的新方法及其在距离遗传图上的应用
作者:
Shin-ichi Nakano
;
Ryuhei Uehara
;
Takeaki Uno
会议名称:
《International Conference on Theory and Applications of Models of Computation(TAMC 2007); 20070522-25; Shanghai(CN)》
|
2007年
关键词:
algorithmic graph theory;
cograph;
distance-hereditary graph;
prefix tree;
tree representation;
意见反馈
回到顶部
回到首页