Abstract is missing.
- Upper and lower bounds for finite domain constraints to realize skeptical inference over conditional knowledge basesChristian Komo, Christoph Beierle. [doi]
- Horse foraging behavior detection using Recurrent Neural NetworksLeon Nunes, Yiannis Ampatzidis, Lucas Costa, Marcelo Wallau. [doi]
- Compiling SL representations of Boolean functions into OBDDsMilos Chromý, Ondrej Cepek. [doi]
- On the size of CNF formulas with high propagation strengthPetr Kucera, Petr Savický. [doi]
- Interpretability of Bayesian Network Classifiers: OBDD Approximation and Polynomial Threshold FunctionsKarine Chubarian, György Turán. [doi]
- Detecting and monitoring the progress of powdery mildew disease in squash using hyperspectral imaging and artificial neural networksJaafar Abdulridha, Yiannis Ampatzidis, Pamela Roberts, Sri Charan Kakarla. [doi]
- Privacy for the Distributed Stochastic Algorithm with BreakoutsJulien Vion, René Mandiau, Sylvain Piechowiak, Marius Silaghi. [doi]
- Altruism in Coalition Formation GamesAnna Maria Kerkmann, Jörg Rothe. [doi]
- Finding read-once refutations in 2CNF formulas and variants - a parameterized perspectiveK. Subramani, Piotr J. Wojciechowski. [doi]
- Another Way to Browse the Search Space For Some Transformations from CSP to SATRichard Ostrowski, Lionel Paris, Adrien Varet. [doi]
- Bounds for the Probability of the Union of EventsJoonhee Lee, Endre Boros. [doi]
- The Complexity of Controlling Condorcet, Fallback, and k-Veto Elections by Replacing Candidates or VotersMarc Neveling, Jörg Rothe, Roman Zorn. [doi]
- Smart Sprayer for Precision Weed Control Using Artificial Intelligence: Comparison of Deep Learning FrameworksVictor Partel, Jinho Kim, Lucas Costa, Panos M. Pardalos, Yiannis Ampatzidis. [doi]
- Lower Bounds for Adversarially Robust PAC LearningDimitrios I. Diochnos, Saeed Mahloujifar, Mohammad Mahmoody. [doi]
- On the conditional expectation given Boolean functions of events in the n-spaceJinwook Lee, András Prékopa. [doi]
- VC-dimensions of nondeterministic finite automata for words of equal lengthBjørn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb, Davin Takahashi. [doi]
- Making Recommendations when Users Experience FatigueTheja Tulabandhula, Yunjuan Wang. [doi]
- Empirical Bounds on Linear Regions of Deep Rectifier NetworksThiago Serra, Srikumar Ramalingam. [doi]
- Partially Preordered Inconsistent Lightweight Ontologies in Possibility TheorySihem Belabbes, Salem Benferhat. [doi]
- Topological Measurement of Deep Neural Networks Using Persistent HomologySatoru Watanabe, Hayato Yamana. [doi]
- Fast Verifying Proofs of Propositional Unsatisfiability via Window ShiftingJingchao Chen. [doi]
- Approximating minimum representations of key Horn functionsKristóf Bérczi, Endre Boros, Ondrej Cepek, Petr Kucera, Kazuhisa Makino. [doi]
- Hybrid Quantum-Classical Algorithms for Solving the Weighted CSPHong Xu 0003, Kexuan Sun 0002, Sven Koenig, Itay Hen, T. K. Satish Kumar. [doi]
- Testing Unsatisfiability of Constraint Satisfaction Problems via Tensor ProductsDaya Gaur, Muhammad Khan. [doi]
- Development of A Multi-Angle Imaging System for Automatic Strawberry Flower CountingHao Gan, Won Suk Lee, Natalia Peres, Clyde W. Fraisse. [doi]
- Using Genetic Algorithms and Gene Expression Programming to Estimate Evapotranspiration with Limited Meteorological DataMohammad Valipour, Sandra M. Guzmán, Mohammad Ali Gholami Sefidkouhi, Mahmoud Raeini-Sarjaz. [doi]