掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Annual Conference on Theory and Applications of Models of Computation
Annual Conference on Theory and Applications of Models of Computation
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Approximation Guarantees for Deterministic Maximization of Submodular Function with a Matroid Constraint
机译:
具有Matroid约束的子模具功能确定性最大化的近似保证
作者:
Xin Sun
;
Dachuan Xu
;
Longkun Guo
;
Min Li
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Submodular optimization;
Matroid constraint;
Curvature;
Deterministic algorithm;
2.
A Novel Initialization Algorithm for Fuzzy C-means Problem
机译:
模糊C均值问题的一种新型初始化算法
作者:
Qian Liu
;
Jianxin Liu
;
Min Li
;
Yang Zhou
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Fuzzy C-means problem;
Approximation algorithm;
Seeding algorithm;
3.
On the Parameterized Complexity of d-Restricted Boolean Net Synthesis
机译:
关于D型限制布尔净综合的参数化复杂性
作者:
Ronny Tredup
;
Evgeny Erofeev
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Synthesis;
Parameterized complexity;
Boolean Petri net;
4.
Approximate #Knapsack Computations to Count Semi-fair Allocations
机译:
近似#knapsack计算,以计算半公平分配
作者:
Theofilos Triommatis
;
Aris Pagourtzis
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Knapsack problems;
Counting problems;
Fptas;
Fair allocations;
Envy-freeness;
5.
Characterizations and Approximability of Hard Counting Classes Below #P
机译:
在#p下面的硬盘阶级的特征和近似性
作者:
Eleni Bakali
;
Aggeliki Chalki
;
Aris Pagourtzis
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
6.
Preface
机译:
前言
作者:
Jianer Chen
;
Qilong Feng
;
Jinhui Xu
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
7.
Semilattices of Punctual Numberings
机译:
准时编号的半统计
作者:
Nikolay Bazhenov
;
Manat Mustafa
;
Sergei Ospichev
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Numbering;
Upper semilattice;
Rogers semilattice;
Primitive recursion;
Friedberg numbering;
Online computation;
Punctual structure;
8.
On Existence of Equilibrium Under Social Coalition Structures
机译:
社会联盟结构下的均衡存在
作者:
Bugra Caskurlu
;
Ozgun Ekici
;
Fatih Erdem Kizilkaya
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
9.
Space Complexity of Streaming Algorithms on Universal Quantum Computers
机译:
通用量子计算机上流算法的空间复杂性
作者:
Yanglin Hu
;
Darya Melnyk
;
Yuyi Wang
;
Roger Wattenhofer
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Streaming algorithm;
Universal quantum computer;
Space complexity;
Solovay-Kitaev algorithm;
10.
Partial Sums on the Ultra-Wide Word RAM
机译:
超宽单词RAM上的部分总和
作者:
Philip Bille
;
Inge Li Gortz
;
Frederik Rye Skjoldjensen
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Ultra-wide word RAM model;
Partial sums;
Fenwick tree;
11.
Securely Computing the n-Variable Equality Function with 2n Cards
机译:
用2N卡安全地计算N变量平等功能
作者:
Suthee Ruangwises
;
Toshiya Itoh
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Card-based cryptography;
Secure multi-party computation;
Equality function;
Symmetric function;
Doubly symmetric function;
12.
On Coresets for Support Vector Machines
机译:
在支持向量机器的冠状上
作者:
Murad Tukan
;
Cenk Baykal
;
Dan Feldman
;
Daniela Rus
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
13.
Tractabilities for Tree Assembly Problems
机译:
树装配问题的牵引力
作者:
Feng Shi
;
Jie You
;
Zhen Zhang
;
Jingyi Liu
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Tree assembly problem;
Fixed-parameter algorithm;
Tree editing distance;
Subforest isomorphism;
14.
Polynomial Kernels for Paw-Free Edge Modification Problems
机译:
PAW-FREE边缘修改问题的多项式核
作者:
Yixin Cao
;
Yuping Ke
;
Hanchun Yuan
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Kernelization;
Paw-free graph;
Graph modification;
15.
Floorplans with Walls
机译:
有墙壁的地板平板
作者:
Katsuhisa Yamanaka
;
Shin-ichi Nakano
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Enumeration;
Floorplan;
Algorithm;
16.
On Characterization of Petrie Partitionable Plane Graphs
机译:
关于Petrie分区平面图的表征
作者:
Xin He
;
Huaming Zhang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
17.
Disjunctive Propositional Logic and Scott Domains
机译:
析出命题逻辑和斯科特域名
作者:
Longchun Wang
;
Qingguo Li
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Domain theory;
Scott-domain;
Disjunctive sequent calculus;
Categorical equivalence;
18.
A Primal-Dual Randomized Algorithm for the Online Weighted Set Multi-cover Problem
机译:
一种用于在线加权集多封面问题的原始双重随机算法
作者:
Wenbin Chen
;
Fufang Li
;
Ke Qi
;
Miao Liu
;
Maobin Tang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
19.
Sumcheck-Based Delegation of Quantum Computing to Rational Server
机译:
基于SUMCHECK的量子计算到Rational Server的委派
作者:
Yuki Takeuchi
;
Tomoyuki Morimae
;
Seiichiro Tani
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Quantum computing;
Rational interactive proof;
Game theory;
20.
Dispersing and Grouping Points on Segments in the Plane
机译:
在飞机上分散和分组点
作者:
Xiaozhou He
;
Wenfeng Lai
;
Binhai Zhu
;
Peng Zou
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Dispersion problem;
NP-hardness;
FPT;
Manhattan distance;
Geometric optimization;
21.
Synchronizing Words and Monoid Factorization: A Parameterized Perspective
机译:
同步单词和单个分解:参数化视角
作者:
Jens Bruchertseifer
;
Henning Fernau
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Synchronizing word;
Deterministic Finite Automaton(DFA);
Parameterized complexity;
22.
Online Removable Knapsack Problems for Integer-Sized Items
机译:
整数尺寸物品的在线可拆卸背包问题
作者:
Kanaho Hanji
;
Hiroshi Fujiwara
;
Hiroaki Yamamoto
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
23.
An Improved Approximation Algorithm for the Prize-Collecting Red-Blue Median Problem
机译:
一种提高奖项收集红蓝色中位数问题的近似算法
作者:
Zhen Zhang
;
Yutian Guo
;
Junyu Huang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Clustering;
Approximation;
Local search;
24.
Hidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective
机译:
两层随机模型的隐藏社区检测:一种理论观点
作者:
Jialu Bao
;
Kun He
;
Xiaodong Xin
;
Bart Selman
;
John E. Hopcroft
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Hidden community;
Multi-layer stochastic block model;
Modularity optimization;
Social network;
25.
A Primal-Dual Algorithm for Euclidean k-Means Problem with Penalties
机译:
欧几里德K均值惩罚的原始双向算法
作者:
Chunying Ren
;
Dachuan Xu
;
Donglei Du
;
Min Li
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Approximation algorithm;
k-means problem;
Penalties;
Primal-dual;
26.
LP-Based Algorithms for Computing Maximum Vertex-Disjoint Paths with Different Colors
机译:
基于LP的算法计算具有不同颜色的最大顶点脱节路径
作者:
Yunyun Deng
;
Yi Chen
;
Kewen Liao
;
Longkun Guo
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Disjoint paths with different frequencies;
Wireless network;
NP-complete;
Linear programming;
27.
A Constant Factor Approximation for Lower-Bounded k-Median
机译:
低界k中位数的恒定因子近似
作者:
Yutian Guo
;
Junyu Huang
;
Zhen Zhang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Approximation algorithm;
k-median;
28.
The Complexity of the Partition Coloring Problem
机译:
分区着色问题的复杂性
作者:
Zhenyu Guo
;
Mingyu Xiao
;
Yi Zhou
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Graph coloring;
Partition coloring;
NP-completeness;
29.
FPT Algorithms for Generalized Feedback Vertex Set Problems
机译:
FPT算法用于广义反馈顶点集问题
作者:
Bin Sheng
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
FPT;
Kernelization;
Generalized Feedback Vertex Set;
30.
Reverse Mathematics, Projective Modules and Invertible Modules
机译:
反向数学,投影模块和可逆模块
作者:
Huishan Wu
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Reverse mathematics;
Projective module;
Invertible module;
Hereditary ring;
31.
Two-Stage Submodular Maximization Problem Beyond Non-negative and Monotone
机译:
超出非负片和单调的两级子模块最大化问题
作者:
Zhicheng Liu
;
Hong Chang
;
Ran Ma
;
Donglei Du
;
Xiaoyan Zhang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Submodular maximization;
Greedy algorithm;
Matroid;
32.
Fixed-Order Book Thickness with Respect to the Vertex-Cover Number: New Observations and Further Analysis
机译:
关于顶点的固定书厚度:新观察和进一步分析
作者:
Yunlong Liu
;
Jie Chen
;
Jingui Huang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
33.
Acyclic Edge Coloring Conjecture Is True on Planar Graphs Without Intersecting Triangles
机译:
在没有交叉三角形的平面图上,无循环边缘着色猜想是正确的
作者:
Qiaojun Shu
;
Yong Chen
;
Shuguang Han
;
Guohui Lin
;
Eiji Miyano
;
An Zhang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Acyclic edge coloring;
Planar graph;
Intersecting triangles;
Discharging;
Induction;
34.
Optimal Matroid Bases with Intersection Constraints: Valuated Matroids, M-convex Functions, and Their Applications
机译:
具有交叉口约束的最佳Matroid基础:valtroids,m-convex功能及其应用
作者:
Yuni Iwamasa
;
Kenjiro Takazawa
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Valuated independent assignment;
Valuated matroid intersection;
M-convex submodular flow;
Matroid congestion game;
Combinatorial optimization problem with interaction costs;
35.
On the Complexity of Acyclic Modules in Automata Networks
机译:
论自动网络中无循环模块的复杂性
作者:
Kevin Perrot
;
Pacome Perrotin
;
Sylvain Sene
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
36.
Eternal Connected Vertex Cover Problem
机译:
永恒连接的顶点封面问题
作者:
Toshihiro Fujito
;
Tomoya Nakamura
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Eternal vertex cover;
Connected vertex cover;
Chordal graphs;
37.
Parametric Streaming Two-Stage Submodular Maximization
机译:
参数流媒体两级子模块最大化
作者:
Ruiqi Yang
;
Dachuan Xu
;
Longkun Guo
;
Dongmei Zhang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Submodular maximization;
Streaming algorithm;
Submodular ratio;
Approximation ratio;
38.
On Pure Space vs Catalytic Space
机译:
在纯粹空间VS催化空间
作者:
Sagar Bisoyi
;
Krishnamoorthy Dinesh
;
Jayalal Sarma
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
39.
A Quadratic Kernel for 3-Set Packing
机译:
用于3型包装的二次内核
作者:
Faisal N. Abu-Khzam
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
关键词:
Fixed-parameter algorithms;
Kernelization;
Crown decomposition;
Set Packing;
40.
Block-Graph Width
机译:
块图宽度
作者:
Maw-Shang Chang
;
Ling-Ju Hung
;
Ton Kloks
;
Sheng-Lung Peng
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
41.
Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces
机译:
一般可衡量空间中随机克里普克模型的行为和逻辑等价
作者:
Ernst-Erich Doberkat
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
42.
High Minimal Pairs in the Enumeration Degrees
机译:
枚举程度中的高最小对
作者:
Andrea Sorbi
;
Guohua Wu
;
Yue Yang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
43.
Approximability and Fixed-Parameter Tractability for the Exemplar Genomic Distance Problems
机译:
用于示例性基因组距离问题的近似性和固定参数途径
作者:
Binhai Zhu
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
44.
Improved Deterministic Algorithms for Weighted Matching and Packing Problems
机译:
改进了加权匹配和包装问题的确定性算法
作者:
Qilong Feng
;
Yang Liu
;
Songjian Lu
;
Jianxin Wang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
45.
Influence of Tree Topology Restrictions on the Complexity of Haplotyping with Missing Data
机译:
树拓扑限制对缺失数据的单倍型复杂性的影响
作者:
Michael Elberfeld
;
Ilka Schnoor
;
Till Tantau
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
46.
Feasibility of Motion Planning on Directed Graphs
机译:
定向图中运动规划的可行性
作者:
Zhilin Wu
;
Stephane Grumbach
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
47.
On Parameterized Exponential Time Complexity
机译:
参数化指数时间复杂性
作者:
Jianer Chen
;
Iyad A. Kanj
;
Ge Xia
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
48.
A Complete Characterisation of the Linear Clique-Width of Path Powers
机译:
对路径电量的线性集团宽度的完整表征
作者:
Pinar Heggernes
;
Daniel Meister
;
Charis Papadopoulos
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
49.
Preserving Privacy versus Data Retention
机译:
保留隐私与数据保留
作者:
Markus Hinkelmann
;
Andreas Jakoby
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
50.
Minimum Vertex Ranking Spanning Tree Problem on Permutation Graphs
机译:
最小顶点在排列图中排名生成树问题
作者:
Ruei-Yuan Chang
;
Guanling Lee
;
Sheng-Lung Peng
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
51.
On Spanners of Geometric Graphs
机译:
在几何图形的扳手上
作者:
Iyad A. Kanj
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
52.
On the Red/Blue Spanning Tree Problem
机译:
在红色/蓝色生成树问题上
作者:
Sergey Bereg
;
Minghui Jiang
;
Boting Yang
;
Binhai Zhu
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
53.
Greedy Local Search and Vertex Cover in Sparse Random Graphs (Extended Abstract)
机译:
贪婪的本地搜索和顶点封面在稀疏随机图中(扩展摘要)
作者:
Carsten Witt
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
54.
On the Connection between Interval Size Functions and Path Counting
机译:
在间隔大小函数和路径计数之间的连接上
作者:
Evangelos Bampas
;
Andreas-Nikolas Gobel
;
Aris Pagourtzis
;
Aris Tentes
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
55.
A Fixed-Parameter Enumeration Algorithm for the Weighted FVS Problem
机译:
加权FVS问题的固定参数枚举算法
作者:
Jianxin Wang
;
Guohong Jiang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
56.
A Simple Greedy Algorithm for the k-Disjoint Flow Problem
机译:
一种简单的贪婪算法,k-disjoint流问题
作者:
Maren Martens
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
57.
Parameterized Complexity of Coloring Problems: Treewidth versus Vertex Cover (Extended Abstract)
机译:
参数化着色问题的复杂性:树木宽度与顶点封面(扩展摘要)
作者:
Jiri Fiala
;
Petr A. Golovach
;
Jan Kratochvil
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
58.
On the Complexity of the Multiple Stack TSP, kSTSP
机译:
关于多堆栈TSP的复杂性,KSTSP
作者:
Sophie Toulouse
;
Roberto Wolfler Calvo
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
59.
Kolmogorov Complexity and Combinatorial Methods in Communication Complexity
机译:
Kolmogorov复杂性和组合方法在通信复杂性中
作者:
Marc Kaplan
;
Sophie Laplante
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
60.
Linear Programming Based Approximation Algorithms for Feedback Set Problems in Bipartite Tournaments
机译:
基于线性编程的基于反馈组中的近似算法在二分锦标赛中的存在问题
作者:
Anke van Zuylen
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
61.
Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata
机译:
价格偏向于定价概率定时自动机的不可思议性
作者:
Jasper Berendsen
;
Taolue Chen
;
David N. Jansen
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
62.
Discovering Almost Any Hidden Motif from Multiple Sequences in Polynomial Time with Low Sample Complexity and High Success Probability
机译:
从多项式时间中发现几乎任何隐藏的主题,具有低样本复杂度和高成功概率
作者:
Bin Pu
;
Ming-Yang Kao
;
Lusheng Wang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
63.
An Almost Totally Universal Tile Set
机译:
一个几乎完全普遍的瓷砖套装
作者:
Gregory Lafitte
;
Michael Weiss
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
64.
Linear Kernel for Planar Connected Dominating Set
机译:
平面连接主导集的线性核
作者:
Daniel Lokshtanov
;
Matthias Mnich
;
Saket Saurabh
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
65.
The Two-Guard Polygon Walk Problem (Extended Abstract)
机译:
双护卫多边形散步问题(扩展摘要)
作者:
John Z. Zhang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
66.
Quantitative Aspects of Speed-Up and Gap Phenomena
机译:
速度和差距现象的定量方面
作者:
Klaus Ambos-Spies
;
Thorsten Kraling
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
67.
Minimizing AND-EXOR Expressions for Multiple-Valued Two-Input Logic Functions (Extended Abstract)
机译:
最小化多值两输入逻辑功能的和引导表达式(扩展摘要)
作者:
Takaaki Mizuki
;
Hitoshi Tsubata
;
Takao Nishizeki
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
68.
Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms
机译:
在C.E中嵌入钻石格。与超高原子的tt-degure
作者:
Douglas Cenzer
;
Johanna N. Y. Franklin
;
Jiang Liu
;
Guohua Wu
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
69.
An Online Algorithm for Applying Reinforcement Learning to Handle Ambiguity in Spoken Dialogues
机译:
一种在线算法,用于应用强化学习,处理口语对话中的模糊性
作者:
Fangju Wang
;
Kyle Swegles
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
70.
An Observation on Non-Malleable Witness-Indistinguishability and Non-Malleable Zero-Knowledge
机译:
对非型号证人的观察 - 难以区分和非型号零知识
作者:
Zongyang Zhang
;
Zhenfu Cao
;
Rong Ma
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
71.
Computing the Exact Distribution Function of the Stochastic Longest Path Length in a DAG
机译:
计算DAG中随机最长路径长度的确切分布功能
作者:
Ei Ando
;
Hirotaka Ono
;
Kunihiko Sadakane
;
Masafumi Yamashita
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
72.
Fixed-Parameter Algorithms for Graph-Modeled Date Clustering
机译:
用于图形建模日期群集的固定参数算法
作者:
Jiong Guo
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
73.
Approximation and Hardness Results for Label Cut and Related Problems
机译:
标签切割和相关问题的近似和硬度结果
作者:
Peng Zhang
;
Jin-Yi Cai
;
Linqing Tang
;
Wenbo Zhao
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
74.
Terminal Coalgebras for Measure-Polynomial Functors
机译:
用于测量多项式仿函数的终端聚合资料
作者:
Christoph Schubert
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
75.
Strong Positive Reducibilities
机译:
强烈的积极冻结性
作者:
Andrea Sorbi
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
76.
On the Tractability of Maximal Strip Recovery
机译:
关于最大条带恢复的易腐蚀性
作者:
Lusheng Wang
;
Binhai Zhu
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
77.
Polynomial-Time Algorithm for Sorting by Generalized Translocations
机译:
广义易位分类的多项式算法
作者:
Xiao Yin
;
Darning Zhu
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
关键词:
Algorithm;
Genome rearrangement;
Translocation;
78.
The Extended Turing Model as Contextual Tool
机译:
扩展的图灵模型作为上下文工具
作者:
S. Barry Cooper
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
79.
Co-evolution and Information Signals in Biological Sequences
机译:
生物序列中的共进和信息信号
作者:
Alessandra Carbone
;
Linda Dib
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
80.
Searching Trees: An Essay
机译:
搜索树木:一篇文章
作者:
Henning Fernau
;
Daniel Raible
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
81.
A Computational Proof of Complexity of Some Restricted Counting Problems
机译:
一些受限制计数问题的复杂性的计算证明
作者:
Jin-Yi Cai
;
Pinyan Lu
;
Mingji Xia
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
82.
Exact and Experimental Algorithms for a Huffman-Based Error Detecting Code
机译:
基于霍夫曼的错误检测代码的精确和实验算法
作者:
Paulo Eustaquio Duarte Pinto
;
Fabio Protti
;
Jayme Luiz Szwarcfiter
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
关键词:
Data compression;
Error detection;
Even codes;
Huffman codes;
Hamming codes;
83.
Best-Order Streaming Model
机译:
最佳流媒体模型
作者:
Atish Das Sarma
;
Richard J. Lipton
;
Danupon Nanongkai
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
84.
Searching a Circular Corridor with Two Flashlights
机译:
搜索带有两个手电筒的圆形走廊
作者:
Bo Jiang
;
Xuehou Tan
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2009年
85.
Semilattices of Punctual Numberings
机译:
准时编号的半乳房
作者:
Nikolay Bazhenov
;
Manat Mustafa
;
Sergei Ospichev
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Numbering;
Upper semilattice;
Rogers semilattice;
Primitive recursion;
Friedberg numbering;
Online computation;
Punctual structure;
86.
FPT Algorithms for Generalized Feedback Vertex Set Problems
机译:
FPT算法用于广义反馈顶点集问题
作者:
Bin Sheng
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
FPT;
Kernelization;
Generalized feedback vertex set;
87.
On Pure Space vs Catalytic Space
机译:
关于纯粹空间VS催化空间
作者:
Sagar Bisoyi
;
Krishnamoorthy Dinesh
;
Jayalal Sarma
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
88.
Disjunctive Propositional Logic and Scott Domains
机译:
析出命题逻辑和斯科特域名
作者:
Longchun Wang
;
Qingguo Li
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Domain theory;
Scott-domain;
Disjunctive sequent calculus;
Categorical equivalence;
89.
Eternal Connected Vertex Cover Problem
机译:
永恒连接的顶点封面问题
作者:
Toshihiro Fujito
;
Tomoya Nakamura
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Eternal vertex cover;
Connected vertex cover;
Chordal graphs;
90.
Approximation Guarantees for Deterministic Maximization of Submodular Function with a Matroid Constraint
机译:
具有Matroid约束的子模块函数的确定性最大化的近似保证
作者:
Xin Sun
;
Dachuan Xu
;
Longkun Guo
;
Min Li
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Submodular optimization;
Matroid constraint;
Curvature;
Deterministic algorithm;
91.
Hidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective
机译:
两层随机模型的隐藏社区检测:一种理论观点
作者:
Jialu Bao
;
Kun He
;
Xiaodong Xin
;
Bart Selman
;
John E. Hopcroft
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Hidden community;
Multi-layer stochastic block model;
Modularity optimization;
Social network;
92.
Partial Sums on the Ultra-Wide Word RAM
机译:
超宽单词RAM上的部分总和
作者:
Philip Bille
;
Inge Li Gortz
;
Frederik Rye Skjoldjensen
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Utra-wide word RAM model;
Partial sums;
Fenwick tree;
93.
Parametric Streaming Two-Stage Submodular Maximization
机译:
参数流媒体两级子模块最大化
作者:
Ruiqi Yang
;
Dachuan Xu
;
Longkun Guo
;
Dongmei Zhang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Submodular maximization;
Streaming algorithm;
Submodular ratio;
Approximation ratio;
94.
Synchronizing Words and Monoid Factorization: A Parameterized Perspective
机译:
同步单词和单个分解:参数化视角
作者:
Jens Bruchertseifer
;
Henning Fernau
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Synchronizing word;
Deterministic finite automaton (DFA);
Parameterized complexity;
95.
Online Removable Knapsack Problems for Integer-Sized Items
机译:
整数尺寸物品的在线可移动背包问题
作者:
Kanaho Hanji
;
Hiroshi Fujiwara
;
Hiroaki Yamamoto
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
96.
LP-Based Algorithms for Computing Maximum Vertex-Disjoint Paths with Different Colors
机译:
基于LP的算法,用于计算具有不同颜色的最大顶点脱位路径
作者:
Yunyun Deng
;
Yi Chen
;
Kewen Liao
;
Longkun Guo
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Disjoint paths with different frequencies;
Wireless network;
NP-complete;
Linear programming;
97.
Floorplans with Walls
机译:
有墙壁的地板平板
作者:
Katsuhisa Yamanaka
;
Shin-ichi Nakano
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Enumeration;
Floorplan;
Algorithm;
98.
A Novel Initialization Algorithm for Fuzzy C-means Problem
机译:
模糊C均值问题的新颖初始化算法
作者:
Qian Liu
;
Jianxin Liu
;
Min Li
;
Yang Zhou
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Fuzzy c-means problem;
Approximation algorithm;
Seeding algorithm;
99.
An Improved Approximation Algorithm for the Prize-Collecting Red-Blue Median Problem
机译:
一种改进的绘制红蓝色中位数问题的近似算法
作者:
Zhen Zhang
;
Yutian Guo
;
Junyu Huang
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Clustering;
Approximation;
Local search;
100.
Securely Computing the n-Variable Equality Function with 2n Cards
机译:
用2N卡牢固地计算N变量平等功能
作者:
Suthee Ruangwises
;
Toshiya Itoh
会议名称:
《Annual Conference on Theory and Applications of Models of Computation》
|
2020年
关键词:
Card-based cryptography;
Secure multi-party computation;
Equality function;
Symmetric function;
Doubly symmetric function;
意见反馈
回到顶部
回到首页