掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
SOFSEM 2010: Theory and practice of computer science
SOFSEM 2010: Theory and practice of computer science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
传动技术
首都信息化
计算机与现代化
福建电脑
计算机系统应用
计算机工程
中国信息技术教育
自动化学报
计算机与网络
软件与光盘
更多>>
相关外文期刊
International journal of embedded and real-time communication systems
Computer and information science
World Wide Web
Asian Journal of Control
Pocket PC
Computer weekly
Higher-order and symbolic computation
SIGCSE bulletin
Information Display
Studies in Informatics and Control
更多>>
相关中文会议
第22届中国数字广播电视与网络发展年会暨第13届全国互联网与音视频广播发展研讨会
2005全国网络与信息安全技术研讨会
2011全国仿真技术学术会议
第五届全国青年计算语言学研讨会(YWCL 2010)
中国第三届PICMG技术年会
第二十六届全国信息保密学术会议(IS2016)
第五届全国多智能体系与控制学术会议
第十三届全国遥感遥测遥控学术研讨会
中国计算机用户协会网络应用分会2014年第十八届网络新技术与应用年会
1999年中国智能自动化学术会议
更多>>
相关外文会议
Engineering societies in the agents world X
Language, games, and evolution : Trends in current research on language and game theory
Conference on Quantum Sensing and Nanophotonic Devices; 20040125-20040129; San Jose,CA; US
Seventh International Conference on Intelligent Systems for Molecular Biology, Aug 6-10, 1999, Heidelberg, Germany
Mining and analyzing social networks
Conference on Media Processors 2002, Jan 23-25, 2002, San Jose, USA
Computational methods and clinical applications in musculoskeletal imaging
International Workshop on Sequences, Subsequences, and Consequences(SSC 2007); 20070531-0602; Los Angeles,CA(US)
2017 International Symposium on Big Data Visual Analytics
Proceedings of the 2002 ACM on Computer supported cooperative work video program
更多>>
热门会议
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.
Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations
机译:
静态团队优化问题的光滑最优决策策略及其近似
作者:
Giorgio Gnecco
;
Marcello Sanguineti
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
team utility function;
value of a team;
statistical information structure;
approximation schemes;
suboptimal solutions;
network optimization;
2.
Parallel Randomized Load Balancing: A Lower Bound for a More General Model
机译:
并行随机负载平衡:通用模型的下界
作者:
Guy Even
;
Moti Medina
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
static randomized parallel allocation;
load balancing;
balls and bins;
lower bounds;
3.
Vertex Ranking with Capacity
机译:
顶点容量排名
作者:
Ruben van der Zwaan
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
4.
On a Labeled Vehicle Routing Problem
机译:
关于标记的车辆路线问题
作者:
Hatem Chatti
;
Laurent Gourves
;
Jerome Monnot
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
5.
Improved Matrix Interpretation
机译:
改进的矩阵解释
作者:
Pierre Courtieu
;
Gladys Gbedo
;
Olivier Pons
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
6.
Web Science: The Digital-Heritage Case
机译:
网络科学:数字遗产案例
作者:
Guus Schreiber
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
7.
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test
机译:
混合覆盖性和可到达性以一次零测试分析VASS
作者:
Alain Finkel
;
Arnaud Sangnier
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
8.
Regret Minimization and Job Scheduling
机译:
遗憾的最小化和工作安排
作者:
Yishay Mansour
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
9.
Lessons in Software Evolution Learned by Listening to Smalltalk
机译:
聆听Smalltalk所学的软件进化课程
作者:
Oscar Nierstrasz
;
Tudor Girba
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
10.
The Web of Things: Extending the Web into the Real World
机译:
物联网:将网络扩展到现实世界
作者:
Dave Raggett
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
11.
Research Issues in the Automated Testing of Ajax Applications
机译:
Ajax应用程序自动测试中的研究问题
作者:
Arie van Deursen
;
Ali Mesbah
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
12.
Empirical Evaluation of Strategies to Detect Logical Change Dependencies
机译:
对逻辑变更依赖关系进行检测的策略的经验评估
作者:
Guenter Pirklbauer
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
logical change dependencies;
logical change couplings;
change impact analysis;
change prediction;
mining software repositories;
13.
Approximability of Edge Matching Puzzles
机译:
边缘匹配难题的逼近性
作者:
Antonios Antoniadis
;
Andrzej Lingas
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
14.
A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks
机译:
寻找欧拉网络中三个边不相交路径的线性时间算法
作者:
Maxim A. Babenko
;
Ignat I. Kolesnichenko
;
Ilya P. Razenshteyn
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
15.
R-Programs: A Framework for Distributing XML Structural Joins across Function Calls
机译:
R-Programs:用于在函数调用之间分配XML结构联接的框架
作者:
David Bednarek
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
16.
Design Patterns Instantiation Based on Semantics and Model Transformations
机译:
基于语义和模型转换的设计模式实例化
作者:
Peter Kajsa
;
Eubomir Majtas
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
design patterns;
UML profiles;
MDA;
17.
OTwig: An Optimised Twig Pattern Matching Approach for XML Databases
机译:
OTwig:用于XML数据库的优化的Twig模式匹配方法
作者:
Jun Liu
;
Mark Roantree
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
twig pattern matching;
xml query processing;
18.
Maintaining XML Data Integrity in Programs An Abstract Datatype Approach
机译:
在程序中维护XML数据完整性的一种抽象数据类型方法
作者:
Patrick Michel
;
Arnd Poetzsch-Heffter
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
19.
Multilanguage Debugger Architecture
机译:
多语言调试器架构
作者:
Jan Vrany
;
Michal Pise
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
20.
Dynamic Edit Distance Table under a General Weighted Cost Function
机译:
一般加权成本函数下的动态编辑距离表
作者:
Heikki Hyyroe
;
Kazuyuki Narisawa
;
Shunsuke Inenaga
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
21.
How to Complete an Interactive Configuration Process? Configuring as Shopping
机译:
如何完成交互式配置过程?配置为购物
作者:
Mikolas Janota
;
Goetz Botterweck
;
Radu Grigore
;
Joao Marques-Silva
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
22.
Query Optimization through Cached Queries for Object-Oriented Query Language SBQL
机译:
通过面向对象的查询语言SBQL的缓存查询进行查询优化
作者:
Piotr Cybula
;
Kazimierz Subieta
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
23.
Perfect Matching for Biconnected Cubic Graphs in O(n log~2 n) Time
机译:
O(n log〜2 n)时间内双连通三次图的完美匹配
作者:
Krzysztof Diks
;
Piotr Stanczyk
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
24.
Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup
机译:
自由幂等半群中单词对等的有效测试
作者:
Jakub Radoszewski
;
Wojciech Rytter
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
burnside-type problem;
finite automata;
efficient algorithm;
25.
An Amortized Search Tree Analysis for k-Leaf Spanning Tree
机译:
k叶生成树的摊销搜索树分析
作者:
Daniel Raible
;
Henning Fernau
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
26.
Comprehensive System for Systematic Case-Driven Software Reuse
机译:
系统化案例驱动软件重用的综合系统
作者:
Michal Smialek
;
Audris Kalnins
;
Elina Kalnina
;
Albert Ambroziewicz
;
Tomasz Straszak
;
Katharina Wolter
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
27.
Homophily of Neighborhood in Graph Relational Classifier
机译:
图关系分类器中的邻域同质性
作者:
Peter Vojtek
;
Maria Bielikova
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
28.
Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs
机译:
同步可重入多线程调用图中的自动死锁检测
作者:
Frank S. de Boer
;
Immo Grabe
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
29.
Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining
机译:
集成集群表示和关联规则挖掘的学生群体建模
作者:
Danuta Zakrzewska
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
association rules;
cluster representation;
student models;
30.
Forcing Monotonicity in Parameterized Verification: From Multisets to Words
机译:
在参数化验证中强制单调性:从多集到单词
作者:
Parosh Aziz Abdulla
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
31.
Finding and Certifying Loops
机译:
查找和验证循环
作者:
Harald Zankl
;
Christian Sternagel
;
Dieter Hofbauer
;
Aart Middeldorp
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
rewriting;
nontermination;
certification;
32.
Model-Driven Software Product Line Testing: An Integrated Approach
机译:
模型驱动的软件产品线测试:集成方法
作者:
Andy Schuerr
;
Sebastian Oster
;
Florian Markert
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
33.
Taming the Complexity of Inductive Logic Programming
机译:
驯服归纳逻辑编程的复杂性
作者:
Filip Zelezny
;
Ondrej Kuzelka
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
34.
A Rule Format for Unit Elements
机译:
单位元素的规则格式
作者:
Luca Aceto
;
Anna Ingolfsdottir
;
MohammadReza Mousavi
;
Michel A. Reniers
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
35.
A Complete Symbolic Bisimulation for Full Applied Pi Calculus
机译:
完全应用的Pi微积分的完整符号双仿真
作者:
Jia Liu
;
Huirnin Lin
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
36.
Unilateral Orientation of Mixed Graphs
机译:
混合图的单边取向
作者:
Tamara Mchedlidze
;
Antonios Symvonis
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
37.
Improving Classification Performance with Focus on the Complex Areas
机译:
专注于复杂区域,提高分类性能
作者:
Seyed Zeinolabedin Moussavi
;
Kambiz Zarei
;
Reza Ebrahimpour
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
combining classifier system;
classifier fusion;
classifier ensembles;
decision template method;
38.
CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions
机译:
明确启用和禁用条件控制的重启自动机CD系统
作者:
Priedrich Otto
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
restarting automaton;
CD-system;
modes of operation;
39.
On Contracting Graphs to Fixed Pattern Graphs
机译:
关于将图收缩到固定模式图
作者:
Pirn van t Hof
;
Marcin Kaminski
;
Danieel Paulusma
;
Stefan Szeider
;
Dimitrios M. Thilikos
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
40.
Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays
机译:
LPF表的两个扩展的高效算法:后缀数组的功效
作者:
Maxime Crochemore
;
Costas S. Iliopoulos
;
Marcin Kubica
;
Wojciech Rytter
;
Tomasz Walen
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
longest previous reverse factor;
longest previous non-overlapping factor;
longest previous factor;
palindrome;
runs;
suffix array;
text compression;
41.
Fast Arc-Annotated Subsequence Matching in Linear Space
机译:
线性空间中快速的带弧注释的子序列匹配
作者:
Philip Bille
;
Inge Li G?rtz
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
42.
Approximate Structural Consistency
机译:
近似结构一致性
作者:
Michel de Rougemont
;
Adrien Vieilleribiere
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
43.
Comparison of Scoring and Order Approach in Description Logic ε£(D)
机译:
描述逻辑ε£(D)中计分和排序方法的比较
作者:
Veronika Vanekova
;
Peter Vojtas
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
44.
A Kernel for Convex Recoloring of Weighted Forests
机译:
加权森林凸变色的内核
作者:
Hans L. Bodlaender
;
Marc Comas
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
45.
Symbolic OBDD-Based Reachability Analysis Needs Exponential Space
机译:
基于符号OBDD的可达性分析需要指数空间
作者:
Beatc Bollig
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
computational complexity;
lower bounds;
ordered binary decision diagrams;
reachability analysis;
transitive closure;
46.
A Social Vision of Knowledge Representation and Reasoning
机译:
知识表示与推理的社会视野
作者:
Francois Bry
;
Jakub Kotowski
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
47.
Flavors of KWQL, a Keyword Query Language for a Semantic Wiki
机译:
KWQL的味道,一种语义Wiki的关键字查询语言
作者:
Frangois Bry
;
Klara Weiand
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
48.
On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances
机译:
Besicovitch和Weyl伪距离的模式密度和滑动块代码行为
作者:
Silvio Capobianco
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
pattern;
pseudo-distance;
sliding block code;
49.
Source Code Rejuvenation Is Not Refactoring
机译:
源代码恢复不重构
作者:
Peter Pirkelbauer
;
Damian Dechev
;
Bjarne Stroustrup
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
50.
Essential Performance Drivers in Native XML DBMSs
机译:
本机XML DBMS中的基本性能驱动程序
作者:
Theo Haerder
;
Christian Mathis
;
Sebastian Baechle
;
Karsten Schmidt
;
Andreas M. Weiner
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
51.
Continuous Processing of Preference Queries in Data Streams
机译:
数据流中优先查询的连续处理
作者:
Maria Kontaki
;
Apostolos N. Papadopoulos
;
Yannis Manolopoulos
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
52.
Picture Recognizability with Automata Based on Wang Tiles
机译:
基于Wang Tile的自动机图像识别
作者:
Violetta Lonati
;
Matteo Pradella
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
picture languages;
2D languages;
tiling systems;
4-way automata;
online tessellation acceptors;
wang systems;
determinism;
53.
Destructive Rule-Based Properties and First-Order Logic
机译:
基于破坏性规则的属性和一阶逻辑
作者:
David Duris
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
finite model theory;
definability;
complexity;
model checking;
destructive rule;
54.
New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes
机译:
限制有向图类的定向着色的复杂性的新结果
作者:
Robert Ganian
;
Petr Hlineny
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
directed graph;
complexity;
oriented colouring;
DAG-depth;
55.
Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph
机译:
图的H子图的最小边覆盖算法
作者:
Alexander Grigoriev
;
Bert Marchal
;
Natalya Usotskaya
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
minimum edge deletion;
H-free graph;
bounded treewidth;
baker's approximation scheme;
planar graph;
56.
Learning User Preferences for 2CP-Regression for a Recommender System
机译:
学习推荐系统的2CP回归的用户首选项
作者:
Alan Eckhardt
;
Peter Vojtas
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
57.
Optimum Broadcasting in Complete Weighted-Vertex Graphs
机译:
完整加权顶点图中的最佳广播
作者:
Hovhannes Harutyunyan
;
Shahin Kamali
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
58.
Fast and Compact Prefix Codes
机译:
快速紧凑的前缀代码
作者:
Travis Gagie
;
Gonzalo Navarre
;
Yakov Nekrich
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
59.
On the Complexity of the Highway Pricing Problem
机译:
论公路定价问题的复杂性
作者:
Alexander Grigoriev
;
Joyce van Loon
;
Marc Uetz
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
pricing problems;
highway pricing problem;
computational complexity;
approximation algorithm;
60.
Accelerating Smart Play-Out
机译:
加速智能播放
作者:
David Harel
;
Hillel Kugler
;
Shahar Maoz
;
Itai Segall
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
61.
Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem
机译:
Ant-CSP:用于最接近字符串问题的蚁群优化算法
作者:
Simone Faro
;
Elisa Pappalardo
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
closest string problem;
string comparison problems;
metaheuristic algorithms;
ant colony optimization;
NP-hard problems;
62.
Linear Complementarity Algorithms for Infinite Games
机译:
无限博弈的线性互补算法
作者:
John Fearnley
;
Marcin Jurdzinski
;
Rahul Savani
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
63.
Practically Applicable Formal Methods
机译:
实际适用的形式方法
作者:
Jedrzej Pulara
;
Krzysztof Jakubczyk
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
关键词:
formal methods;
annotation generation;
java;
termination;
64.
Clock Synchronization: Open Problems in Theory and Practice
机译:
时钟同步:理论和实践中的开放性问题
作者:
Christoph Lenzen
;
Thomas Locher
;
Philipp Sommer
;
Roger Wattenhofer
会议名称:
《SOFSEM 2010: Theory and practice of computer science》
|
2010年
意见反馈
回到顶部
回到首页