| Certified Machine-Learning Models
|
2020 |
Damiani, Ernesto |
| A Characterization of the Context-Free Languages by Stateless Ordered Restart-Delete Automata
|
2020 |
Otto, Friedrich |
| The Lost Recipes from the Four Schools of Amathus: Invited Talk Extended Abstract
|
2020 |
Klau, Gunnar W. |
| A Constructive Arboricity Approximation Scheme
|
2020 |
Blumenstock, Markus |
| On the Difference Between Finite-State and Pushdown Depth
|
2020 |
Jordon, Liam |
| Online Scheduling with Machine Cost and a Quadratic Objective Function
|
2020 |
Csirik, J. |
| The Order Type of Scattered Context-Free Orderings of Rank One Is Computable
|
2020 |
Gelle, Kitti |
| Inferring Deterministic Regular Expression with Unorder
|
2020 |
Wang, Xiaofan |
| Employing Costs in Multiagent Systems with Timed Migration and Timed Communication
|
2020 |
Aman, Bogdan |
| Fast Indexes for Gapped Pattern Matching
|
2020 |
Caceres, Manuel |
| The Maximum Equality-Free String Factorization Problem: Gaps vs. No Gaps
|
2020 |
Mincu, Radu Stefan |
| Linearizing Genomes: Exact Methods and Local Search
|
2020 |
Davot, Tom |
| Computing Directed Steiner Path Covers for Directed Co-graphs (Extended Abstract)
|
2020 |
Gurski, Frank |
| Counting Infinitely by Oritatami Co-transcriptional Folding
|
2020 |
Maruyama, Kohei |
| On Synchronizing Tree Automata and Their Work—Optimal Parallel Run, Usable for Parallel Tree Pattern Matching
|
2020 |
Plachy, Stépán |
| Practical Implementation of a Quantum Backtracking Algorithm
|
2020 |
Martiel, Simon |
| GRaCe: A Relaxed Approach for Graph Query Caching
|
2020 |
Fino, Francesco De |
| Modelling of the Fake Posting Recognition in On-Line Media Using Machine Learning
|
2020 |
Machová, Kristina |
| Connecting Galaxies: Bridging the Gap Between Databases and Applications
|
2020 |
Dombrovskaya, Henrietta |
| Does Live Regression Testing Help?
|
2020 |
Bruchaty, Marek |
Tag hinzufügen