| 2501 |
Sorting Networks: The Final Countdown
Martin Marinov, David Gregg
|
🔮
The Ethereal
|
cs.DM
|
1 |
11 years ago |
| 2502 |
A new upper bound for the clique cover number with applications
Farhad Shahrokhi
|
🔮
The Ethereal
|
math.CO
|
1 |
11 years ago |
| 2503 |
DAG-width of Control Flow Graphs with Applications to Model Checking
Therese Biedl, Sebastian Fischmeister, Neeraj Kumar
|
🔮
The Ethereal
|
cs.DM
|
1 |
11 years ago |
| 2504 |
Revisable Justified Belief: Preliminary Report
Alexandru Baltag, Bryan Renne, Sonja Smets
|
🔮
The Ethereal
|
cs.LO
|
1 |
11 years ago |
| 2505 |
Heuristic algorithms for obtaining Polynomial Threshold Functions with low densities
Can Eren Sezener, Erhan Oztop
|
🔮
The Ethereal
|
cs.CC
|
1 |
11 years ago |
| 2506 |
Some constructions of cyclic and quasi-cyclic subspaces codes
Ismael Gutierrez, Ivan Molina
|
🔮
The Ethereal
|
math.CO
|
1 |
11 years ago |
| 2507 |
Phase Transitions for the Uniform Distribution in the PML Problem and its Bethe Approximation
Chun Lam Chan, Winston Fernandes, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
11 years ago |
| 2508 |
NP-hardness of sortedness constraints
Irena Rusu
|
🔮
The Ethereal
|
cs.CC
|
1 |
11 years ago |
| 2509 |
Marimba: A Tool for Verifying Properties of Hidden Markov Models
Noe Hernandez, Kerstin Eder, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
11 years ago |
| 2510 |
On connectivity in a general random intersection graph
Jun Zhao
|
🔮
The Ethereal
|
cs.DM
|
1 |
10 years ago |
| 2511 |
Reasoning About LLVM Code Using Codewalker
David S. Hardin
|
🔮
The Ethereal
|
cs.LO
|
1 |
10 years ago |
| 2512 |
Efficient Algorithms for Morphisms over Omega-Regular Languages
Lukas Fleischer, Manfred Kufleitner
|
🔮
The Ethereal
|
cs.FL
|
1 |
10 years ago |
| 2513 |
A coloring of the square of the 8-cube with 13 colors
Janne I. Kokkala, Patric R. J. Östergård
|
🔮
The Ethereal
|
math.CO
|
1 |
10 years ago |
| 2514 |
Approximation Algorithm for Minimum Weight Connected $m$-Fold Dominating Set
Zhao Zhang, Jiao Zhou, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
10 years ago |
| 2515 |
Decidability and Complexity for Quiescent Consistency and its Variations
Brijesh Dongol, Robert M. Hierons
|
🔮
The Ethereal
|
cs.LO
|
1 |
10 years ago |
| 2516 |
On the shelling antimatroids of split graphs
Jean Cardinal, Jean-Paul Doignon, Keno Merckx
|
🔮
The Ethereal
|
cs.DM
|
1 |
10 years ago |
| 2517 |
The weight distribution of the self-dual $[128,64]$ polarity design code
Masaaki Harada, Ethan Novak, Vladimir D. Tonchev
|
🔮
The Ethereal
|
math.CO
|
1 |
10 years ago |
| 2518 |
Bounded Model Checking of Pointer Programs Revisited
Witold Charatonik, Piotr Witkowski
|
🔮
The Ethereal
|
cs.LO
|
1 |
10 years ago |
| 2519 |
Nesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation Complexity
M. Praveen, B. Srivathsan
|
🔮
The Ethereal
|
cs.LO
|
1 |
10 years ago |
| 2520 |
New Lower Bounds for van der Waerden Numbers Using Distributed Computing
Daniel Monroe
|
🔮
The Ethereal
|
math.CO
|
1 |
10 years ago |
| 2521 |
LDPC Codes Based on the Space of Symmetric Matrices over Finite Fields
Meng Zhao, Changli Ma, Qi Wang
|
🔮
The Ethereal
|
math.CO
|
1 |
10 years ago |
| 2522 |
Perspectives for proof unwinding by programming languages techniques
Danko Ilik
|
🔮
The Ethereal
|
math.LO
|
1 |
10 years ago |
| 2523 |
Towards linking correctness conditions for concurrent objects and contextual trace refinement
Brijesh Dongol, Lindsay Groves
|
🔮
The Ethereal
|
cs.LO
|
1 |
10 years ago |
| 2524 |
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems
Maurice H. ter Beek, Michele Loreti
|
🔮
The Ethereal
|
cs.LO
|
1 |
10 years ago |
| 2525 |
Characterization and recognition of proper tagged probe interval graphs
Sanchita Paul, Shamik Ghosh, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
10 years ago |
| 2526 |
The quasiequational theory of relational lattices, in the pure lattice signature (embeddability into relational lattices is undecidable)
Luigi Santocanale
|
🔮
The Ethereal
|
cs.LO
|
1 |
10 years ago |
| 2527 |
Best-case Analysis of MergeSort with an Application to the Sum of Digits Problem, A manuscript (MS) v2
Marek A. Suchenek
|
🔮
The Ethereal
|
cs.DM
|
1 |
10 years ago |
| 2528 |
An Extended Note on the Comparison-optimal Dual Pivot Quickselect
Daniel Krenn
|
🔮
The Ethereal
|
math.CO
|
1 |
10 years ago |
| 2529 |
Unique Parallel Decomposition for the Pi-calculus
Matias David Lee, Bas Luttik
|
🔮
The Ethereal
|
cs.LO
|
1 |
9 years ago |
| 2530 |
On Information-Theoretic Characterizations of Markov Random Fields and Subfields
Raymond W. Yeung, Ali Al-Bashabsheh, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
9 years ago |
| 2531 |
A note on Beckett-Gray codes and the relationship of Gray codes to data structures
Mark Cooke, Chris North, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
9 years ago |
| 2532 |
Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies
Gregor Gössler, Oleg Sokolsky
|
🔮
The Ethereal
|
cs.LO
|
1 |
9 years ago |
| 2533 |
List approximation for increasing Kolmogorov complexity
Marius Zimand
|
🔮
The Ethereal
|
cs.CC
|
1 |
9 years ago |
| 2534 |
Finding long simple paths in a weighted digraph using pseudo-topological orderings
Miguel Raggi
|
🔮
The Ethereal
|
cs.DM
|
1 |
9 years ago |
| 2535 |
Distributed Searching of Partial Grids
Dariusz Dereniowski, Dorota Urbańska
|
🔮
The Ethereal
|
cs.DM
|
1 |
9 years ago |
| 2536 |
The design of efficient algorithms for enumeration
Andrew R. Conway
|
🔮
The Ethereal
|
math.CO
|
1 |
9 years ago |
| 2537 |
Invertibility and Largest Eigenvalue of Symmetric Matrix Signings
Charles Carlson, Karthekeyan Chandrasekaran, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
9 years ago |
| 2538 |
Bounds and Constructions for $\overline{3}$-Strongly Separable Codes with Length $3$
Xuli Zhang, Jing Jiang, Minquan Cheng
|
🔮
The Ethereal
|
cs.DM
|
1 |
9 years ago |
| 2539 |
Variable Neighborhood Search Algorithms for the multi-depot dial-a-ride problem with heterogeneous vehicles and users
Paolo Detti, Garazi Zabalo Manrique de Lara
|
🔮
The Ethereal
|
cs.DM
|
1 |
9 years ago |
| 2540 |
Stream Packing for Asynchronous Multi-Context Systems using ASP
Stefan Ellmauthaler, Jörg Pührer
|
🔮
The Ethereal
|
cs.LO
|
1 |
9 years ago |
| 2541 |
On Mixing in Pairwise Markov Random Fields with Application to Social Networks
Konstantin Avrachenkov, Lenar Iskhakov, Maksim Mironov
|
🔮
The Ethereal
|
cs.DM
|
1 |
9 years ago |
| 2542 |
A new cut-based genetic algorithm for graph partitioning applied to cell formation
Boulif Menouar
|
🔮
The Ethereal
|
cs.DM
|
1 |
9 years ago |
| 2543 |
Proceedings Eighth Workshop on Intersection Types and Related Systems
Naoki Kobayashi
|
🔮
The Ethereal
|
cs.LO
|
1 |
9 years ago |
| 2544 |
A new lower bound for the on-line coloring of intervals with bandwidth
Patryk Mikos
|
🔮
The Ethereal
|
math.CO
|
1 |
9 years ago |
| 2545 |
Automata theory on sliding windows
Moses Ganardi, Danny Hucke, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
1 |
9 years ago |
| 2546 |
Invariance: a Theoretical Approach for Coding Sets of Words Modulo Literal (Anti)Morphisms
Jean Néraud, Carla Selmi
|
🔮
The Ethereal
|
cs.DM
|
1 |
9 years ago |
| 2547 |
Minimizing the Cost of Team Exploration
Dorota Osula
|
🔮
The Ethereal
|
cs.DM
|
1 |
9 years ago |
| 2548 |
Extremal Type II $\mathbb{Z}_4$-codes constructed from binary doubly even self-dual codes of length $40$
Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
1 |
9 years ago |
| 2549 |
Distributed compression through the lens of algorithmic information theory: a primer
Marius Zimand
|
🔮
The Ethereal
|
cs.CC
|
1 |
9 years ago |
| 2550 |
A heuristic algorithm for the Bin Packing Problem with Conflicts on Interval Graphs
Tiziano Bacci, Sara Nicoloso
|
🔮
The Ethereal
|
math.CO
|
1 |
9 years ago |