长垣产业园区科技文献服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
起重机械
智能制造
高级检索
关于我们
版权声明
使用帮助
会议文集
文集名
SOFSEM 2020: Theory and Practice of Computer Science
会议名
46th International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2020)
中译名
《第四十六届国际信息学理论与实践最新趋势会议》
会议日期
January 20–24, 2020
会议地点
Limassol, Cyprus
出版年
2020
馆藏号
333020
题名
作者
出版年
Certified Machine-Learning Models
Ernesto Damiani; Claudio A. Ardagna
2020
The Lost Recipes from the Four Schools of Amathus: Invited Talk Extended Abstract
Gunnar W. Klau
2020
Sharing Energy for Optimal Edge Performance
Erol Gelenbe; Yunxiao Zhang
2020
A Characterization of the Context-Free Languages by Stateless Ordered Restart-Delete Automata
Friedrich Otto
2020
A Constructive Arboricity Approximation Scheme
Markus Blumenstock; Frank Fischer
2020
A Game of Cops and Robbers on Graphs with Periodic Edge-Connectivity
Thomas Erlebach; Jakob T. Spooned
2020
Approximating Shortest Connected Graph Transformation for Trees
Nicolas Bousquet; Alice Joffard
2020
Approximating Weighted Completion Time for Order Scheduling with Setup Times
Alexander Macker; Friedhelm Meyer auf der Heide; Simon Pukrop
2020
Bounds for the Number of Tests in Non-adaptive Randomized Algorithms for Group Testing
Nader H. Bshouty; George Haddad; Catherine A. Haddad-Zaknoon
2020
Burning Two Worlds: Algorithms for Burning Dense and Tree-Like Graphs
Shahin Kamali; Avery Miller; Kenny Zhang
2020
Faster STR-EC-LCS Computation
Kohei Yamada; Yuto Nakashima; Shunsuke Inenaga; Hideo Bannai; Masayuki Takeda
2020
Kernels of Sub-classes of Context-Free Languages
Martin Kutrib
2020
Minimal Unique Substrings and Minimal Absent Words in a Sliding Window
Takuya Mieno; Yuki Kuhara; Tooru Akagi; Yuta Fujishige; Yuto Nakashima; Shunsuke Inenaga; Hideo Bannai; Masayuki Takeda
2020
On Synthesis of Specifications with Arithmetic
Rachel Faran; Orna Kupferman
2020
On the Average State Complexity of Partial Derivative Transducers
Stavros Konstantinidis; Antonio Machiavelo; Nelma Moreira; Rogerio Reis
2020
On the Difference Between Finite-State and Pushdown Depth
Liam Jordon; Philippe Moser
2020
Online Scheduling with Machine Cost and a Quadratic Objective Function
J. Csirik; Gy. Dosa; D. Koszo
2020
Parallel Duel-and-Sweep Algorithm for the Order-Preserving Pattern Matching
Davaajav Jargalsaikhan; Diptarama Hendrian; Ryo Yoshinaka; Ayumi Shinohara
2020
Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems
Ronny Tredup
2020
Parameterized Dynamic Variants of Red-Blue Dominating Set
Faisal N. Abu-Khzam; Cristina Bazgan; Henning Femau
2020
1
2
3
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024