| 3151 |
A Note on Clustering Aggregation for Binary Clusterings
Jiehua Chen, Danny Hermelin, Manuel Sorge
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 years ago |
| 3152 |
Supercompiling String Programs Using Word Equations as Constraints
Antonina Nepeivoda
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3153 |
Proceedings of the 9th International Workshop on Physics and Computation
Michael Cuffaro, Philippos Papayannopoulos
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 years ago |
| 3154 |
Enumerating Cryptarithms Using Deterministic Finite Automata
Yuki Nozaki, Diptarama Hendrian, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
0 |
8 years ago |
| 3155 |
A Parameterized Complexity View on Description Logic Reasoning
Ronald de Haan
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3156 |
Stream Reasoning on Expressive Logics
Gulay Unel
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3157 |
Local Coloring and its Complexity
Jie You, Yixin Cao, Jianxin Wang
|
🔮
The Ethereal
|
math.CO
|
0 |
7 years ago |
| 3158 |
Parameterized Verification of Coverability in Well-Structured Broadcast Networks
A. R. Balasubramanian
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3159 |
Trading information complexity for error II: the case of a large error and external information complexity
Yaqiao Li
|
🔮
The Ethereal
|
cs.CC
|
0 |
7 years ago |
| 3160 |
Entropy versions of additive inequalities
Alberto Espuny Díaz, Oriol Serra
|
🔮
The Ethereal
|
math.CO
|
0 |
7 years ago |
| 3161 |
Classical linear logic, cobordisms and categorical semantics of categorial grammars
Sergey Slavnov
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3162 |
Proceedings 11th Interaction and Concurrency Experience
Massimo Bartoletti, Sophia Knight
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3163 |
A note on spanoid rank
Yuzhou Gu
|
🔮
The Ethereal
|
math.CO
|
0 |
7 years ago |
| 3164 |
DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies
Denis Ponomaryov, Stepan Yakovenko
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3165 |
Enumerative and Structural Aspects Of Anagrams Without Fixed Letters
Kiril Bangachev
|
🔮
The Ethereal
|
math.CO
|
0 |
7 years ago |
| 3166 |
Ordering Strict Partial Orders to Model Behavioral Refinement
Mathieu Montin, Marc Pantel
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3167 |
Finding dissimilar explanations in Bayesian networks: Complexity results
Johan Kwisthout
|
🔮
The Ethereal
|
cs.CC
|
0 |
7 years ago |
| 3168 |
On the Maximum Distance Sublattice Problem and Closest Vector Problem
Rajendra Kumar, Shashank K Mehta, Mahesh Sreekumar Rajasree
|
🔮
The Ethereal
|
cs.CC
|
0 |
7 years ago |
| 3169 |
An output-sensitive Algorithm to partition a Sequence of Integers into Subsets with equal Sums
Alexander Büchel, Ulrich Gilleßen, Kurt-Ulrich Witt
|
🔮
The Ethereal
|
math.CO
|
0 |
7 years ago |
| 3170 |
High Granular Operator Spaces, and Less-Contaminated General Rough Mereologies
A. Mani
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3171 |
Gems of Corrado Böhm
Henk P. Barendregt
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3172 |
Generalizations of Laver tables
Joseph Van Name
|
🔮
The Ethereal
|
math.LO
|
0 |
7 years ago |
| 3173 |
Mind the Independence Gap
Tınaz Ekim, Didem Gözüpek, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
7 years ago |
| 3174 |
Using First Hitting Times to Find Sets that Maximize the Convergence Rate to Consensus
Fern Y. Hunt
|
🔮
The Ethereal
|
cs.DM
|
0 |
7 years ago |
| 3175 |
Induction, Coinduction, and Fixed Points: A Concise Comparative Survey
Moez A. AbdelGawad
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3176 |
Characterizing Watermark Numbers encoded as Reducible Permutation Graphs against Malicious Attacks
Anna Mpanti, Stavros D. Nikolopoulos, Leonidas Palios
|
🔮
The Ethereal
|
cs.DM
|
0 |
7 years ago |
| 3177 |
Some Enumeration Problems in the Duplication-Loss Model of Genome Rearrangement
Mladen Kovačević, Sanja Brdar, Vladimir Crnojević
|
🔮
The Ethereal
|
cs.DM
|
0 |
7 years ago |
| 3178 |
On Solving Reachability in Grid Digraphs using a Psuedoseparator
Rahul Jain, Raghunath Tewari
|
🔮
The Ethereal
|
cs.CC
|
0 |
7 years ago |
| 3179 |
On Quasi Ordinal Diagram Systems
Mitsuhiro Okada, Yuta Takahashi
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3180 |
On modeling hard combinatorial optimization problems as linear programs: Refutations of the "unconditional impossibility" claims
Moustapha Diaby, Mark H. Karwan, Lei Sun
|
🔮
The Ethereal
|
cs.CC
|
0 |
7 years ago |
| 3181 |
Differentials and distances in probabilistic coherence spaces
Thomas Ehrhard
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3182 |
Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics
Kees van Berkel, Tim Lyon
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3183 |
Jacobi Sums and Correlations of Sidelnikov Sequences
Ayse Alaca, Goldwyn Millar
|
🔮
The Ethereal
|
math.CO
|
0 |
7 years ago |
| 3184 |
The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space
Yannick Forster, Fabian Kunze, Marc Roth
|
🔮
The Ethereal
|
cs.CC
|
0 |
7 years ago |
| 3185 |
Experimental Study on CTL model checking using Machine Learning
Weijun ZHU
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3186 |
Proceedings 7th International Workshop on Theorem proving components for Educational software
Pedro Quaresma, Walther Neuper
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3187 |
Divergent permutations
Emanuela Fachini, János Körner
|
🔮
The Ethereal
|
math.CO
|
0 |
7 years ago |
| 3188 |
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications
Thomas Ehrhard, Maribel Fernández, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3189 |
An extended description logic system with knowledge element based on ALC
Bin Wen, Jianhou Gan, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3190 |
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems
Michele Pagani, Sandra Alves
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3191 |
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus
Giulio Guerrieri
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3192 |
On the fixed-parameter tractability of the maximum connectivity improvement problem
Federico Corò, Gianlorenzo D'Angelo, Vahan Mkrtchyan
|
🔮
The Ethereal
|
cs.DM
|
0 |
7 years ago |
| 3193 |
On a conditional inequality in Kolmogorov complexity and its applications in communication complexity
Andrei Romashchenko, Marius Zimand
|
🔮
The Ethereal
|
cs.CC
|
0 |
7 years ago |
| 3194 |
A reconstruction of the multipreference closure
Laura Giordano, Valentina Gliozzi
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3195 |
Rough Contact in General Rough Mereology
A. Mani
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3196 |
Quantitative Logic Reasoning
Marcelo Finger
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3197 |
Extensions to Justification Theory
Simon Marynissen
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3198 |
Properties and Extensions of Alternating Path Relevance - I
David A. Plaisted
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |
| 3199 |
A Hypergraph Based Approach for the 4-Constraint Satisfaction Problem Tractability
Rachid Oucheikh, Ismail Berrada, Outman El Hichami
|
🔮
The Ethereal
|
cs.DM
|
0 |
7 years ago |
| 3200 |
A Note on Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility
Loris Bozzato, Thomas Eiter, Luciano Serafini
|
🔮
The Ethereal
|
cs.LO
|
0 |
7 years ago |