掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Theory and applications of models of computation
Theory and applications of models of computation
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
计算机应用与软件
计算机时代
计算机辅助设计与图形学学报
程序员
软件与光盘
计算机工程与设计
自动化与仪表
光盘技术
计算技术与自动化
中国自动识别技术
更多>>
相关外文期刊
Software Quality Journal
Computer Languages, Systems & Structures
MSDN Magazine
COM-SAC
Information Week
Computers & Society
ReCall
Concurrency and computation: practice and experience
International journal of soft computing
Computing and information systems technical reports
更多>>
相关中文会议
2002年全国开放式分布与并行计算学术会议
第17届全国计算机新科技与计算机教育学术大会
全国第17届计算机科学与技术应用(CACIS)学术会议
第18届全国计算机新科技与计算机教育学术大会
第十一届中国教育信息化创新与发展论坛
OA'2006办公自动化学术研讨会
第六届全国信息隐藏暨多媒体信息安全学术研讨会
中国系统仿真学会2010年仿真技术学术交流会
深圳自动化学会30周年大会暨第十六届华南自动化高峰论坛
2006北京地区高校研究生学术交流会
更多>>
相关外文会议
Central European Functional Programming School; Lecture Notes in Computer Science; 4164
International Workshop on Security Protocols; 20030402-04; Cambridge(GB)
Transmission and Distribution Conference
2013 IEEE International Conference on Teaching, Assessment and Learning for Engineering
Remote Sensing of Atmospheric Chemistry
2017 IEEE International Conference on Systems, Man, and Cybernetics
2016 8th International Conference on Ultrawideband and Ultrashort Impulse Signals
International Conference on Web-Based Modeling and Simulation and Virtual Worlds and Simulation Conference Jan 23-27, 2000, San Diego, California
Conference on Ocean Optics: Remote Sensing and Underwater Imaging, Aug 1-2, 2001, San Diego, USA
Asian Computing Science Conference(ASIAN 2005); 20051207-09; Kunming(CN)
更多>>
热门会议
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 Bad Instance for k-Means++
机译:
k-Means ++的坏实例
作者:
Tobias Brunsch
;
Heiko Roglin
会议名称:
《Theory and applications of models of computation》
|
2011年
2.
Approximating Minimum Cost Source Location Problems with Local Vertex-Connectivity Demands
机译:
用局部顶点连通性需求逼近最小成本源位置问题
作者:
Takuro Fukunaga
会议名称:
《Theory and applications of models of computation》
|
2011年
3.
Hardness Results and an Exact Exponential Algorithm for the Spanning Tree Congestion Problem
机译:
生成树拥塞问题的硬度结果和精确指数算法
作者:
Yoshio Okamoto
;
Yota Otachi
;
Ryuhei Uehara
;
Takeaki Uno
会议名称:
《Theory and applications of models of computation》
|
2011年
4.
Lower Bounds for Testing Computability by Small Width OBDDs
机译:
使用小宽度OBDD测试可计算性的下界
作者:
Joshua Brody
;
Kevin Matulef
;
Chenggang Wu
会议名称:
《Theory and applications of models of computation》
|
2011年
5.
The Complexity and Approximability of Minimum Contamination Problems
机译:
最小污染问题的复杂性和逼近性
作者:
Angsheng Li
;
Linqing Tang
会议名称:
《Theory and applications of models of computation》
|
2011年
6.
Intuitive Probability Logic
机译:
直觉概率逻辑
作者:
Chunlai Zhou
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
probability logic;
belief types;
modal logic;
probability measure;
7.
Deterministic Algorithms for Multi-criteria TSP
机译:
多准则TSP的确定性算法
作者:
Bodo Manthey
会议名称:
《Theory and applications of models of computation》
|
2011年
8.
Integer Representations towards Efficient Counting in the Bit Probe Model
机译:
位探针模型中有效计数的整数表示
作者:
Gerth St0lting Brodal
;
Mark Greve
;
Vineet Pandey
;
Satti Srinivasa Rao
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
data structure;
gray code;
bit probe model;
binary counter;
integer representation;
9.
Non-adaptive Complex Group Testing with Multiple Positive Sets
机译:
具有多个正集的非自适应复杂组测试
作者:
Francis Y.L. Chin
;
Henry CM. Leung
;
S.M. Yiu
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
pooling design;
non-adaptive complex group testing;
knockout study;
combinatorial group testing;
10.
How to Cut a Graph into Many Pieces
机译:
如何将图切成多段
作者:
Ruben van der Zwaan
;
Andre1 Berger
;
Alexander Grigoriev
会议名称:
《Theory and applications of models of computation》
|
2011年
11.
Optimal Allocation in Combinatorial Auctions with Quadratic Utility Functions
机译:
具有二次效用函数的组合拍卖中的最优分配
作者:
Akiyoshi Shioura
;
Shunya Suzuki
会议名称:
《Theory and applications of models of computation》
|
2011年
12.
Grey-Box Steganography
机译:
灰色方块隐写术
作者:
Maciej Liskiewicz
;
Riidiger Reischuk
;
Ulrich Wolfel
会议名称:
《Theory and applications of models of computation》
|
2011年
13.
Tight Bounds on Communication Complexity of Symmetric XOR Functions in One-Way and SMP Models
机译:
单向和SMP模型中对称XOR函数的通信复杂性的严格界限
作者:
Ming Lam Leung
;
Yang Li
;
Shengyu Zhang
会议名称:
《Theory and applications of models of computation》
|
2011年
14.
The Hardness of Median in the Synchronized Bit Communication Model
机译:
同步比特通信模型中位数的硬度
作者:
Karolina Soltys
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
communication complexity;
median;
synchronized bit model;
round complexity;
15.
A Note on Obfuscation for Cryptographic Functionalities of Secret-Operation Then Public-Encryption
机译:
关于对秘密操作然后进行公共加密的加密功能进行混淆的说明
作者:
Ning Ding
;
Dawu Gu
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
cryptography;
obfuscation;
fully homomorphic encryption;
16.
Edge Contractions in Subclasses of Chordal Graphs
机译:
弦图子类中的边收缩
作者:
Remy Belmonte
;
Pinar Heggernes
;
Pirn van t Hof
会议名称:
《Theory and applications of models of computation》
|
2011年
17.
Planarity Testing Revisited
机译:
再谈平面测试
作者:
Samir Datta
;
Gautam Prakriya
会议名称:
《Theory and applications of models of computation》
|
2011年
18.
Hide-and-Seek: Algorithms for Polygon Walk Problems
机译:
捉迷藏:多边形漫游问题的算法
作者:
Atlas F. Cook IV
;
Chenglin Fan
;
Jun Luo
会议名称:
《Theory and applications of models of computation》
|
2011年
19.
Linear-Time Algorithms for Graphs of Bounded Rankwidth: A Fresh Look Using Game Theory(Extended Abstract)
机译:
有界秩宽度图的线性时间算法:使用博弈论的崭新面貌(扩展摘要)
作者:
Alexander Langer
;
Peter Rossmanith
;
Somnath Sikdar
会议名称:
《Theory and applications of models of computation》
|
2011年
20.
On the Polynomial Depth of Various Sets of Random Strings
机译:
关于各种随机字符串集的多项式深度
作者:
Philippe Moser
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
we give two natural examples of deep sets;
by showing that both the set of levin-random strings and the set of kolmogorov random strings are monotone poly deep;
21.
Approximating Edge Dominating Set in Dense Graphs
机译:
密集图中的逼近边控制集
作者:
Richard Schmied
;
Claus Viehmann
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
edge dominating set;
minimum maximal matching;
dense instances;
approximation algorithms;
approximation lower bounds;
22.
Maximal Matching and Path Matching Counting in Polynomial Time for Graphs of Bounded Clique Width
机译:
有界集团宽度图的多项式时间最大匹配和路径匹配计数
作者:
Benjamin Hellouin de Menibus
;
Takeaki Uno
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
maximal matching;
path matching;
counting;
clique-width;
23.
An Algebraic Characterization of Strictly Piecewise Languages
机译:
严格分段语言的代数刻画
作者:
Jie Fu
;
Jeffrey Heinz
;
Herbert G. Tanner
会议名称:
《Theory and applications of models of computation》
|
2011年
24.
An Improved Sufficient Condition for Reconfiguration of List Edge-Colorings in a Tree
机译:
树中重新配置列表边缘颜色的改进充分条件
作者:
Takehiro Ito
;
Kazuto Kawamura
;
Xiao Zhou
会议名称:
《Theory and applications of models of computation》
|
2011年
25.
An Improved Kernel for Planar Connected Dominating Set
机译:
平面连通支配集的改进内核
作者:
Weizhong Luo
;
Jianxin Wang
;
Qilong Feng
;
Jiong Guo
;
Jianer Chen
会议名称:
《Theory and applications of models of computation》
|
2011年
26.
Near Approximation of Maximum Weight Matching through Efficient Weight Reduction
机译:
通过有效的减重,最大重量匹配的近似值
作者:
Andrzej Lingas
;
Cui Di
会议名称:
《Theory and applications of models of computation》
|
2011年
27.
Approximability of the Subset Sum Reconfiguration Problem
机译:
子集和重配置问题的逼近度
作者:
Takehiro Ito
;
Erik D. Demaine
会议名称:
《Theory and applications of models of computation》
|
2011年
28.
Fast Exact Algorithm for L(2,1)-Labeling of Graphs
机译:
图的L(2,1)-标签的快速精确算法
作者:
Konstanty Junosza-Szaniawski
;
Jan Kratochvil
;
Mathieu Liedloff
;
Peter Rossmanith
;
Pawel Rzg.zewski
会议名称:
《Theory and applications of models of computation》
|
2011年
29.
A Compact Encoding of Unordered Binary Trees
机译:
无序二叉树的紧凑编码
作者:
Kozue Iwata
;
Shiro Ishiwata
;
Shin-ichi Nakano
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
trees;
coding;
compact representation;
30.
Generalized Satisfiability for the Description Logic A.CC (Extended Abstract)
机译:
描述逻辑A.CC的广义可满足性(扩展摘要)
作者:
Arne Meier
;
Thomas Schneider
会议名称:
《Theory and applications of models of computation》
|
2011年
31.
A Real Elementary Approach to the Master Recurrence and Generalizations*
机译:
掌握复发和归纳的真正基本方法*
作者:
Chee Yap
会议名称:
《Theory and applications of models of computation》
|
2011年
32.
Multiprocessor Speed Scaling for Jobs with Arbitrary Sizes and Deadlines
机译:
具有任意大小和截止日期的作业的多处理器速度缩放
作者:
Paul C. Bell
;
Prudence W.H. Wong
会议名称:
《Theory and applications of models of computation》
|
2011年
33.
Group-Theoretic Lower Bounds for the Complexity of Matrix Multiplication
机译:
矩阵乘法复杂性的群理论下界
作者:
Alexey Pospelov
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
bilinear complexity;
group algebras;
complexity of matrix multiplication;
lower bounds;
34.
Locally Injective Homomorphism to the Simple Weight Graphs
机译:
简单权重图的局部内射同态
作者:
Ondfej Bilka
;
Bernard Lidicky
;
Marek Tesar
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
computational complexity;
locally injective homomorphism;
weight graph;
35.
On the Low-Dimensional Steiner Minimum Tree Problem in Hamming Metric
机译:
汉明度量中的低维斯坦纳最小树问题
作者:
Ernst Althaus
;
Joschka Kupilas
;
Rouven Naujoks
会议名称:
《Theory and applications of models of computation》
|
2011年
36.
On the Amount of Nonconstructivity in Learning Recursive Functions
机译:
关于递归函数学习中非构造性的量
作者:
Rusins Preivalds
;
Thomas Zeugmann
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
inductive inference;
recursive functions;
nonconstructivity;
37.
Extending Partial Representations of Interval Graphs
机译:
扩展区间图的部分表示
作者:
Pavel Klavik
;
Jan Kratochvil
;
Tomas Vyskocil
会议名称:
《Theory and applications of models of computation》
|
2011年
38.
Using Split Composition to Extend Distance-Hereditary Graphs in a Generative Way (Extended Abstract)
机译:
使用拆分合成以生成方式扩展距离遗传图(扩展的摘要)
作者:
Serafino Cicerone
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
distance-hereditary graphs;
stretch number;
split decomposition;
graph algorithms;
recognition problem;
39.
Closed Left-R.E. Sets
机译:
封闭左-R.E.套装
作者:
Sanjay Jain
;
Frank Stephan
;
Jason Teutsch
会议名称:
《Theory and applications of models of computation》
|
2011年
40.
Succinct Dynamic Cardinal Trees with Constant Time Operations for Small Alphabet
机译:
小字母恒定时间操作的简洁动态基数树
作者:
Pooya Davoodi
;
Satti Srinivasa Rao
会议名称:
《Theory and applications of models of computation》
|
2011年
41.
NEXP Does Not Have Non-uniform Quasipolynomial-Size ACC Circuits of o(log log n) Depth
机译:
NEXP没有深度为o(log log n)的非均匀拟多项式尺寸ACC电路
作者:
Fengming Wang
会议名称:
《Theory and applications of models of computation》
|
2011年
42.
Ⅱ_1~0 Sets and Tilings
机译:
Ⅱ_1〜0套瓷砖
作者:
Emmanuel Jeandel
;
Pascal Vanier
会议名称:
《Theory and applications of models of computation》
|
2011年
43.
Energy and Fan-In of Threshold Circuits Computing Mod Functions
机译:
阈值电路的能量和扇入计算Mod函数
作者:
Akira Suzuki
;
Kei Uchizawa
;
Xiao Zhou
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
boolean function;
energy complexity;
fan-in;
mod function;
threshold circuit;
44.
Low Distortion Metric Embedding into Constant Dimension
机译:
低失真度量嵌入到恒定维
作者:
Andras Farago
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
computational geometry;
low distortion metric embedding;
45.
A Better Upper Bound on Weights of Exact Threshold Functions
机译:
精确阈值函数权重的一个更好的上限
作者:
Xue Chen
;
Guangda Hu
;
Xiaoming Sun
会议名称:
《Theory and applications of models of computation》
|
2011年
46.
Submodular Function Minimization under a Submodular Set Covering Constraint
机译:
子模集覆盖约束下的子模函数最小化
作者:
Naoyuki Kamiyama
会议名称:
《Theory and applications of models of computation》
|
2011年
47.
Lower Bounds for the Smoothed Number of Pareto Optimal Solutions
机译:
帕累托最优解的平滑数的下界
作者:
Tobias Brunsch
;
Heiko Roglin
会议名称:
《Theory and applications of models of computation》
|
2011年
48.
Improved Approximation Bounds for the Student-Project Allocation Problem with Preferences over Projects
机译:
优先于项目的学生项目分配问题的改进的近似边界
作者:
Kazuo Iwama
;
Shuichi Miyazaki
;
Hiroki Yanagisawa
会议名称:
《Theory and applications of models of computation》
|
2011年
49.
Switching to Hedgehog-Free Graphs Is NP-Complete
机译:
NP完全切换到无刺猬图
作者:
Eva Jelinkova
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
seidel's switching;
h-free graph;
np-completeness;
50.
Catching a Fast Robber on Interval Graphs
机译:
在间隔图上捕捉快速强盗
作者:
Tomas Gavenciak
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
cop and robber game;
pursuit game;
combinatorial game;
interval graph;
interval graph representation;
51.
Some Tractable Win-Lose Games
机译:
一些可操作的输赢游戏
作者:
Samir Datta
;
Nagarajan Krishnamurthy
会议名称:
《Theory and applications of models of computation》
|
2011年
关键词:
k_3;
3-minor-free;
k_5-minor-free;
win-lose bimatrix game;
nash equilibrium;
意见反馈
回到顶部
回到首页