掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Foundations of Software Technology and Theoretical Computer Science
International Conference on Foundations of Software Technology and Theoretical Computer Science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
167
条结果
1.
Fair Matchings and Related Problems
机译:
公平匹配和相关问题
作者:
Chien-Chung Huang
;
Telikepalli Kavitha
;
Kurt Mehlhorn
;
Dimitrios Michail
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Matching with Preferences;
Fairness;
and Rank-Maximality;
Bipartite Vertex Cover;
Linear Programming Duality;
Complementary Slackness;
2.
Computation of Summaries Using Net Unfoldings
机译:
使用网展开计算摘要
作者:
Javier Esparza
;
Lo?g Jezequel
;
Stefan Schwoon
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Net unfoldings;
Concurrent systems;
Petri nets;
3.
A Strong Direct Product Theorem for the Tribes Function via the Smooth-Rectangle Bound
机译:
通过光滑矩形绑定的部落函数的强大直接产品定理
作者:
Prahladh Harsha
;
Rahul Jain
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Rectangle bound;
Tribes function;
Strong direct product;
4.
Decidability Results on the Existence of Lookahead Delegators for NFA
机译:
可判定性导致NFA的寻找代理人的存在
作者:
Christof L?ding
;
Stefan Repke
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Automata;
Lookahead Delegators;
Safety Games;
5.
On Infinite Words Determined by Stack Automata
机译:
堆栈自动机确定的无限单词
作者:
Tim Smith
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
stack automaton;
infinite word;
pumping lemma;
prefix language;
multi-head finite automaton;
6.
Renting a Cloud
机译:
租云
作者:
Barna Saha
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Scheduling Algorithm;
Online Algorithm;
Approximation Algorithm;
7.
On the Structure and Complexity of Rational Sets of Regular Languages
机译:
论Rational Sets常规语言的结构和复杂性
作者:
Andreas Holzer
;
Christian Schallhart
;
Michael Tautschnig
;
Helmut Veith
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Rational Sets;
Regular Languages;
Test Specification in FQL;
Closure Properties;
Decision Problems;
8.
Ranking with Diverse Intents and Correlated Contents
机译:
用不同意图和相关内容排名
作者:
Jian Li
;
Zeyu Zhang
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Approximation Algorithm;
Diversification;
min-sum Set Cover;
9.
Faster Deterministic Algorithms for r-Dimensional Matching Using Representative Sets
机译:
使用代表集的R维匹配更快的确定性算法
作者:
Prachi Goyal
;
Neeldhara Misra
;
Fahad Panolan
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
3-Dimensional Matching;
Fixed-Parameter Algorithms;
Iterative Expansion;
10.
Energy Efficient Scheduling and Routing via Randomized Rounding
机译:
通过随机舍入的节能调度和路由
作者:
Evripidis Bampis
;
Alexander Kononov
;
Dimitrios Letsios
;
Giorgio Lucarelli
;
Maxim Sviridenko
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
randomized rounding;
scheduling;
approximation;
energy-aware;
configuration linear program;
11.
Clustering With Center Constraints
机译:
聚类与中心约束
作者:
Parinya Chalermsook
;
Suresh Venkatasubramanian
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Clustering;
vertex cover;
approximation algorithms;
12.
Partially Polynomial Kernels for Set Cover and Test Cover
机译:
用于设定盖板和测试盖的部分多项式核
作者:
Manu Basavaraju
;
Mathew C. Francis
;
M.S. Ramanujan
;
Saket Saurabh
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Set Cover;
Test Cover;
Kernelization;
Parameterized Algorithms;
13.
Polynomial Kernels for λ-extendible Properties Parameterized Above the Poljak-Turzik Bound
机译:
用于λ-伸展属性的多项式内核,参数化Poljak-turzik绑定
作者:
Robert Crowston
;
Mark Jones
;
Gabriele Muciaccia
;
Geevarghese Philip
;
Ashutosh Rai
;
Saket Saurabh
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Kernelization;
Lambda Extension;
Above-Guarantee Parameterization;
MaxCut;
14.
Knapsack Cover Subject to a Matroid Constraint
机译:
背包覆盖受MATROID约束
作者:
Venkatesan T. Chakaravarthy
;
Anamitra Roy Choudhury
;
Sivaramakrishnan R. Natarajan
;
Sambuddha Roy
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Approximation Algorithms;
LP rounding;
Matroid Constraints;
Knapsack problems;
15.
Parameterized Complexity of the Anchored k-Core Problem for Directed Graphs
机译:
针对定向图的锚定k核心问题的参数化复杂性
作者:
Rajesh Chitnis
;
Fedor V. Fomin
;
Petr A. Golovach
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Parameterized complexity;
directed graphs;
anchored k-core;
16.
On Improved Degree Lower Bounds for Polynomial Approximation
机译:
关于多项式近似的改进程度下限
作者:
Srikanth Srinivasan
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Polynomials;
Approximation;
Compression;
Circuit lower bounds;
17.
Model Checking and Functional Program Transformations
机译:
模型检查和功能计划转换
作者:
Axel Haddad
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Higher-order recursion schemes;
Model checking;
Tree automata;
18.
On the Parameterised Complexity of String Morphism Problems
机译:
论弦态源问题的参数化复杂性
作者:
Henning Fernau
;
Markus L. Schmid
;
Yngve Villanger
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
String Problems;
String Morphisms;
Parameterised Complexity;
Exponential Time Hypothesis;
Pattern Languages;
19.
B?hm Trees as Higher-Order Recursive Schemes
机译:
B?HM树作为高阶递归方案
作者:
Pierre Clairambault
;
Andrzej S. Murawski
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Lambda calculus;
B?hm trees;
Recursion Schemes;
20.
DLOGTIME Proof Systems
机译:
DLOGTIME证明系统
作者:
Andreas Krebs
;
Nutan Limaye
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Proof systems;
DLOGTIME;
NC~0;
21.
The Combinatorics of Non-determinism
机译:
非确定性的组合学
作者:
Olivier Bodini
;
Antoine Genitrini
;
Frederic Peschanski
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Concurrency theory;
Analytic combinatorics;
Non-deterministic choice;
Partially increasing trees;
Uniform random generation;
22.
Simulation Over One-counter Nets is PSPACE-Complete
机译:
在单台网上仿真是PSPACE-COMPERT
作者:
Piotr Hofman
;
S?awomir Lasota
;
Richard Mayr
;
Patrick Totzke
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Simulation preorder;
one-counter nets;
complexity;
23.
Replica Placement via Capacitated Vertex Cover
机译:
通过电容顶点盖板的副本放置
作者:
Sonika Arora
;
Venkatesan T. Chakaravarthy
;
Neelima Gupta
;
Koyel Mukherjee
;
Yogish Sabharwal
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Approximation Algorithms;
LP Rounding;
24.
Implementing Realistic Asynchronous Automata
机译:
实施现实的异步自动机
作者:
S. Akshay
;
Ionut Dinca
;
Blaise Genest
;
Alin Stefanescu
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Asynchronous automata;
Zielonka construction;
Implementability;
25.
Jumping Automata for Uniform Strategies
机译:
跳跃自动机以统一策略
作者:
Bastien Maubert
;
Sophie Pinchinat
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Games;
Imperfect information;
Uniform strategies;
Jumping automata;
26.
Primal Infon Logic: Derivability in Polynomial Time
机译:
原始Incon Logic:多项式时间中的衍生能力
作者:
Anguraj Baskar
;
Prasad Naldurg
;
K. R. Raghavendra
;
S.P. Suresh
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Authorization logics;
Intuitionistic modal logic;
Proof theory;
Cut elimination;
Subformula property;
27.
Geometric Avatar Problems
机译:
几何头像问题
作者:
Mario E. Consuegra
;
Giri Narasimhan
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Avatar problems;
choice;
28.
On the Pseudoperiodic Extension of u? = vmwn
机译:
关于你的伪二期延伸? = vmwn.
作者:
Florin Manea
;
Mike Müller
;
Dirk Nowotka
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Word equations;
Pseudoperiodicity;
Lyndon-Schützenberger equation;
29.
Evaluation is MSOL-compatible
机译:
评估是MSOL兼容的
作者:
Sylvain Salvati
;
Igor Walukiewicz
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Simply typed AY-calculus;
monadic second order logic;
Transfer Theorem;
infinitary systems;
30.
A Theory of Partitioned Global Address Spaces
机译:
分区全局地址空间理论
作者:
Georgel Calin
;
Egor Derevenetc
;
Rupak Majumdar
;
Roland Meyer
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
PGAS;
SC preservation;
Robustness;
Semantics;
Formal languages;
31.
Emptiness Of Alternating Tree Automata Using Games With Imperfect Information
机译:
使用具有不完美信息的游戏的交替树自动机的空虚
作者:
Nathana?l Fijalkow
;
Sophie Pinchinat
;
Olivier Serre
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Alternating Automata;
Emptiness checking;
Two-player games;
Imperfect Information Games;
32.
Solvency Markov Decision Processes with Interest
机译:
Larvency Markov决定流程
作者:
Tomás Brázdil
;
Taolue Chen
;
Vojtěch Forejt?
;
Petr Novotny
;
Aistis Simaitis
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Markov decision processes;
algorithms;
complexity;
market models;
33.
Composition Problems for Braids
机译:
编织物的构成问题
作者:
Igor Potapov
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Braid group;
automata;
group alphabet;
combinatorics on words;
matrix semigroups;
NP-hardness;
decidability;
34.
Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages
机译:
通过当地可测试和本地阈值可测试语言分离常规语言
作者:
Thomas Place
;
Lorijn van Rooijen
;
Marc Zeitoun
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Automata;
Logics;
Monoids;
Locally testable;
Separation;
Context-free;
35.
Parameterized Verification of Many Identical Probabilistic Timed Processes
机译:
诸多相同概率定时过程的参数化验证
作者:
Nathalie Bertrand
;
Paulin Fournier
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
model checking;
Markov decision processes;
parameterized verification;
36.
PTAS for Ordered Instances of Resource Allocation Problems
机译:
PTA用于资源分配问题的有序实例
作者:
Kamyar Khodamoradi
;
Ramesh Krishnamurti
;
Arash Rafiey
;
Georgios Stamoulis
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Approximation Algorithms;
Convex Bipartite Graphs;
Resource Allocation;
37.
Distributed and Parallel Algorithms for Set Cover Problems with Small Neighborhood Covers
机译:
分布式和并行算法,用于设定小区覆盖物的封面问题
作者:
Archita Agarwal
;
Venkatesan T. Chakaravarthy
;
Anamitra R. Choudhury
;
Sambuddha Roy
;
Yogish Sabharwal
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Approximation algorithms;
set cover problem;
tree cover;
38.
Optimal Constructions for Active Diagnosis
机译:
活动诊断的最佳结构
作者:
Stefan Haar
;
Serge Haddad
;
Tarek Melliti
;
Stefan Schwoon
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Diagnosis;
Control theory;
Automata theory;
Games;
39.
Saturation of Concurrent Collapsible Pushdown Systems
机译:
并发折叠式推动系统的饱和度
作者:
Matthew Hague
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Concurrency;
Automata;
Higher-Order;
Verification;
Model-Checking;
40.
Polar Codes: Reliable Communication with Complexity Polynomial in the Gap to Shannon Capacity
机译:
POLAR CODES:与Shannon容量的间隙中的复杂多项式可靠地通信
作者:
Venkatesan Guruswami
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Error-correction algorithms;
Linear Codes;
Shannon capacity;
Martingale convergence;
Computational complexity;
41.
Intersection Types for Normalization and Verification
机译:
标准化和验证的交叉类型
作者:
Kazushige Terui
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
simply typed lambda calculus;
computational complexity;
denotational semantics;
intersection types;
42.
Inapproximability of Rainbow Colouring
机译:
彩虹着色不可识别
作者:
L. Sunil Chandran
;
Deepak Rajendraprasad
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
rainbow connectivity;
rainbow colouring;
approximation hardness;
43.
Characterisations of Nowhere Dense Graphs
机译:
无处致密图的特征
作者:
Martin Grohe
;
Stephan Kreutzer
;
Sebastian Siebertz
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Graph Algorithms;
Algorithmic Graph Structure Theory;
Finite Model Theory;
Nowhere Dense Classes of Graphs;
44.
Computing With a Fixed Number of Pointers
机译:
用固定数量的指针计算
作者:
Martin Hofmann
;
Ramyaa Ramyaa
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Logarithmic space;
Jumping graph automata (jags);
st-connectivity;
cost-connectivity;
Cayley graphs;
45.
On Approximation Resistance of Predicates
机译:
谓词近似阻力
作者:
Subhash Khot
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2013年
关键词:
Approximation resistance;
Hardness of approximation;
Probabilistically checkable proofs;
Constraint satisfaction problems;
46.
Practical Algorithms for Tracking Database Join Sizes
机译:
跟踪数据库连接大小的实用算法
作者:
Sumit Ganguly
;
Deepanjan Kesh
;
Chandan Saha
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
47.
Reachability of Hennessy-Milner Properties for Weakly Extended PRS
机译:
Hennessy-Milner属性的可达性弱扩展的PRS
作者:
Mojmir Kretinsky
;
Vojtech Rehak
;
Jan Strejcek
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
48.
No Coreset, No Cry: II
机译:
没有Coreset,没有哭:II
作者:
Michael Edwards
;
Kasturi Varadarajan
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
49.
Comparing Trees Via Crossing Minimization
机译:
通过交叉最小化比较树木
作者:
Henning Fernau
;
Michael Kaufmann
;
Mathias Poths
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
50.
From Logic to Games
机译:
从逻辑到游戏
作者:
Igor Walukiewicz
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
51.
On the Controller Synthesis for Finite-State Markov Decision Processes
机译:
关于有限州马尔可夫决策过程的控制器综合
作者:
Antonin Kucera
;
Oldfich Strazovsky
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
52.
Towards a CTL~* Tableau
机译:
朝着CTL〜* Tableau
作者:
Mark Reynolds
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
53.
Market Equilibrium for CES Exchange Economies: Existence, Multiplicity, and Computation
机译:
CES交换经济体的市场均衡:存在,多重和计算
作者:
Bruno Codenotti
;
Benton McCune
;
Sriram Penumatcha
;
Kasturi Varadarajan
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
54.
Reasoning About Quantum Knowledge
机译:
关于量子知识的推理
作者:
Ellie DHondt
;
Prakash Panangaden
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
55.
Refining the Undecidability Frontier of Hybrid Automata
机译:
炼制混合自动机的不可剥离性前沿
作者:
Venkatesh Mysore
;
Amir Pnueli
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
56.
When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
机译:
当定时自动机是弱定步的培养网?
作者:
Beatrice Berard
;
Franck Cassez
;
Serge Haddad
;
Didier Lime
;
Olivier H. Roux
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
关键词:
time petri nets;
timed automata;
weak timed bisimilarity;
57.
On the Bisimulation Congruence in χ -Calculus
机译:
关于χ-Clulululul的双催化同一致性
作者:
Taolue Chen
;
Tingting Han
;
Jian Lu
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
58.
Computational Complexity Since 1980
机译:
自1980年以来计算复杂性
作者:
Russell Impagliazzo
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
59.
Towards a CTL{sup}* Tableau
机译:
迈向CTL {sup} * tableau
作者:
Mark Reynolds
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
60.
Developments in Data Structure Research During the First 25 Years of FSTTCS
机译:
在FSTTC的前25年中数据结构研究的发展
作者:
Raimund Seidel
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
61.
Decision Procedures for Queues with Integer Constraints
机译:
用整数约束的队列决策程序
作者:
Ting Zhang
;
Henny B. Sipma
;
Zohar Manna
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
62.
Proving Lower Bounds Via Pseudo-random Generators
机译:
通过伪随机发电机证明下限
作者:
Manindra Agrawal
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
63.
Reachability Analysis of Multithreaded Software with Asynchronous Communication
机译:
具有异步通信多线程软件的可达性分析
作者:
Ahmed Bouajjami
;
Javier Esparza
;
Stefan Schwoon
;
Jan Strejcek
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
64.
Probabilistic Analysis for a Multiple Depot Vehicle Routing Problem
机译:
多仓库车辆路由问题的概率分析
作者:
Andreas Baltz
;
Devdatt Dubhashi
;
Libertad Tansini
;
Anand Srivastav
;
Soeren Werth
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
65.
Improved Bounds on the Union Complexity of Fat Objects
机译:
改进了脂肪对象的联盟复杂性的边界
作者:
Mark de Berg
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
66.
Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains
机译:
计算Infinite Markov链的子类的预期累计奖励和收益
作者:
Tomas Brazdil
;
Antonin Kucera
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
67.
Dimensions of Copeland-Erdos Sequences
机译:
COPELAND-ERDOS序列的尺寸
作者:
Xiaoyang Gu
;
Jack H. Lutz
;
Philippe Moser
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
68.
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
机译:
测试并发系统:直觉逻辑的解释
作者:
Radha Jagadeesan
;
Gopalan Nadathur
;
Vijay Saraswat
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
69.
Quantitative Models and Implicit Complexity
机译:
定量模型和隐含复杂性
作者:
Ugo Dal Lago
;
Martin Hofmann
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
70.
Modal Strength Reduction in Quantified Discrete Duration Calculus
机译:
量化离散持续时间微积分的模态强度降低
作者:
Shankara Narayanan Krishna
;
Paritosh K. Pandya
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
71.
Fixpoint Logics on Hierarchical Structures
机译:
分层结构上的FixPoint逻辑
作者:
Stefan Goeller
;
Markus Lohrey
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
72.
The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable
机译:
确定性MSO树传感器的等价问题是可解除的
作者:
Joost Engelfriet
;
Sebastian Maneth
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
73.
Eventual Timed Automata
机译:
最终的自动机
作者:
Deepak DSouza
;
M. Raj Mohan
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
74.
Subquadratic Algorithms for Workload-Aware Haar Wavelet Synopses
机译:
用于工作负载感知HAAR小波概要的子相关算法
作者:
S. Muthukrishnan
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
75.
Approximation Algorithms for Wavelength Assignment
机译:
波长分配的近似算法
作者:
Vijay Kumar
;
Atri Rudra
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
76.
On Sampled Semantics of Timed Systems
机译:
关于定时系统的采样语义
作者:
Pavel Krcal
;
Radek Pelanek
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
77.
Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names
机译:
扩展Howe对具有本地名称键入的移动嵌入式资源的早期BISIMULATION的方法
作者:
Jens Chr. Godskesen
;
Thomas Hildebrandt
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
78.
Logarithmic-Time Single Deleter, Multiple Inserter Wait-Free Queues and Stacks
机译:
对数时间单点数据,多个inserter等待免费队列和堆栈
作者:
Prasad Jayanti
;
Srdjan Petrovic
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
79.
On the Bisimulation Congruence in X-Calculus
机译:
论X-COMPULUS中的双催化一致
作者:
Taolue Chen
;
Tingting Han
;
Jian Lu
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
80.
Proofs of Termination of Rewrite Systems for Polytime Functions
机译:
多时间函数的重写系统终止证明
作者:
Toshiyasu Arai
;
Georg Moser
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
关键词:
termination;
term rewriting characterisation;
derivation length;
complexity theory;
81.
On the Expressiveness of TPTL and MTL
机译:
关于TPTL和MTL的富有效率
作者:
Patricia Bouyer
;
Fabrice Chevalier
;
Nicolas Markey
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
82.
Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems
机译:
在动态对等分布式系统中监控稳定的属性
作者:
Sathya Peri
;
Neeraj Mittal
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
83.
The MSO Theory of Connectedly Communicating Processes
机译:
连通过程的MSO理论
作者:
P. Madhusudan
;
P.S. Thiagarajan
;
Shaofa Yang
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
84.
Inference Systems for Logical Algorithms
机译:
用于逻辑算法的推理系统
作者:
Natarajan Shankar
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
85.
The Set Cover with Pairs Problem
机译:
具有对问题的集合盖
作者:
Refael Hassin
;
Danny Segev
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
86.
Semiperfect-Information Games
机译:
Semipfect-Information Games
作者:
Krishnendu Chatterjee
;
Thomas A. Henzinger
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
87.
Extending Howe’s Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names
机译:
扩展Howe对具有本地名称键入的移动嵌入式资源的早期BISIMULATION的方法
作者:
Jens Chr. Godskesen
;
Thomas Hildebrandt
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
88.
Bisimulation Quantified Logics: Undecidability
机译:
Bisimulation量化逻辑:不可剥离性
作者:
Tim French
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
89.
The Directed Planar Reachability Problem
机译:
定向的平面可达性问题
作者:
Eric Allender
;
Samir Datta
;
Sambuddha Roy
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
90.
Non-disclosure for Distributed Mobile Code
机译:
不披露分布式移动代码
作者:
Ana Almeida Matos
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
91.
On Counting the Number of Consistent Genotype Assignments for Pedigrees
机译:
关于划分百分比的一致基因型分配的数量
作者:
Jiri Srba
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
92.
On the Expressiveness of
机译:
论表达的
作者:
Patricia Bouyer
;
Fabrice Chevalier
;
Nicolas Markey
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
93.
Causal Closure for MSC Languages
机译:
MSC语言的因果闭合
作者:
Bharat Adsul
;
Madhavan Mukund
;
K. Narayan Kumar
;
Vasumathi Narayanan
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
94.
Erdos Magic
机译:
埃尔多斯魔术
作者:
Joel Spencer
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2005年
95.
No, Coreset, No Cry
机译:
不,coreset,没有哭泣
作者:
Sariel Har-Peled
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2004年
96.
Reasoning About Game Equilibria Using Temporal Logic
机译:
使用时间逻辑的游戏均衡推理
作者:
G. Venkatesh
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2004年
97.
Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS
机译:
展开,放大和检查:WSTS覆盖性问题的新算法
作者:
Gilles Geeraerts
;
Jean-Francois Raskin
;
Laurent Van Begin
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2004年
98.
Symbolic Reachability Analysis of Higher-Order Context-Free Processes
机译:
高阶无限期流程的象征性分析
作者:
Ahmed Bouajjani
;
Antoine Meyer
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2004年
99.
Short-Cuts on Star, Source and Planar Unfoldings
机译:
星星,来源和平面展开的短切
作者:
Vijay Chandru
;
Ramesh Hariharan
;
Narasimha M. Krishnakumar
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2004年
100.
A Calculus for Trust Management
机译:
信托管理的微积分
作者:
Marco Carbone
;
Mogens Nielsen
;
Vladimiro Sassone
会议名称:
《International Conference on Foundations of Software Technology and Theoretical Computer Science》
|
2004年
上一页
1
2
下一页
意见反馈
回到顶部
回到首页