default search action
ISAIM 2022, January 3-5, 2022
- Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), Fort Lauderdale, Florida, USA, January 3-5, 2022. 2022
Special Session in Memory of Naftali Tishby
- Ohad Shamir:
Elephant in the Room: Non-Smooth Non-Convex Optimization. - Noam Slonim:
Project Debater - an autonomous debating system. - Noga Zaslavsky:
The information geometry of pragmatic reasoning.
Special Session on Boolean and pseudo-Boolean Functions
- Endre Boros, Joonhee Lee:
Boole's probability bounding problem, linear programming aggregations, and nonnegative quadratic pseudo-Boolean functions. - Claude Carlet:
Parameterization of Boolean functions by vectorial functions and associated constructions. - Ondrej Cepek, James Weigle:
A Direct Equivalence-Testing Algorithm for SLRs. - Miguel Couceiro:
Analogical proportions: from Boolean to nominal and beyond... - Alexis de Colnet, Pierre Marquis:
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. - Yves Crama, Sourour Elloumi, Amélie Lambert, Elisabeth Rodríguez-Heck:
Quadratic reformulations for the optimization of pseudo-boolean functions. - Wolfgang Gatterbauer:
Algebraic Approximations of the Probability of Monotone Boolean Functions. - Vibhav Gogate:
Dissociation-Based Oblivious Bounds for Weighted Model Counting. - John N. Hooker:
Stochastic Binary Decision Diagrams. - Jinwook Lee, Lanqing Du, Jade Zhang, Matthew J. Schneider:
Time series data identification and optimization with the measurements of potential bias and discrimination issues based on pseudo-Boolean functions. - Lisa Hellerstein, Devorah Kletenik, Naifeng Liu, R. Teal Witter:
Adaptivity gap of the SBFE problem. - Mariya Naumova, András Prékopa:
Logical analysis of data: Estimation of cause-effect relationship under noise with applications in classification of natural water springs.
Special Session on Coalition Formation Games
- Christian Addington, Jacob Schlueter, Judy Goldsmith:
The Power of Symmetry for Nash Stable Additively Separable Hedonic Games. - Nathan Arnold, Sarah H. Snider, Judy Goldsmith:
Extensions on Tiered Coalition Formation Games. - Bugra Çaskurlu, Fatih Erdem Kizilkaya, Berkehan Ozen:
Hedonic Expertise Games. - Simon Cramer, Anna Maria Kerkmann, Jörg Rothe:
Min-Based Altruism in Coalition Formation Games. - Angelo Fanelli, Gianpiero Monaco, Luca Moscardelli:
Relaxed Core Stability in Fractional Hedonic Games. - Sushmita Gupta, Sanjukta Roy, Saket Saurabh, Meirav Zehavi:
Parameterized Analysis for the Group Activity Selection Problem on Graphs. - Joanna Kaczmarek, Jörg Rothe:
Controlling Weighted Voting Games by Deleting or Adding Players with or without Changing the Quota. - Seçkin Özbilen:
Bottom Coalition Properties.
Special Session on Combinatorial and Geometric Problems in Imaging Sciences
- S. Annadurai, T. T. Raman, T. Kalyani, D. Gnanaraj Thomas, P. Ravichandran:
Pasting Systems with Picture Tiles Yielding Interesting Patterns. - Aydin Avkan, Benedek Nagy, Müge Saadetoglu:
A Comparison of 2D Regular Grids based on Digital Continuity of Rotations. - S. James Immanuel, S. Jayasankar, D. Gnanaraj Thomas:
P Systems on Hexagonal Picture Languages and Applications. - T. Kalyani, F. Sweety, D. Gnanaraj Thomas, K. Bhuvaneswari:
Tetrahedral Picture Languages and their Applications in Imaging. - R. Krishna Kumari, R. Arulprakasam, Meenakshi Paramasivan, V. Rajkumar Dare:
Circular Partial Words and Arrays. - Sabyasachi Mukherjee, Oishila Bandyopadhyay, Arindam Biswas:
Detection of Knee Osteoarthritis using Light-weight CNN. - Selim Reza, José J. M. Machado, João Manuel R. S. Tavares:
Analysis of the Structure of the Road Networks: A Network Science Perspective. - Somrita Saha, Arindam Biswas:
Approximate Convex Decomposition of 3D Digital Object Surface Using Scalar Triple Product of Vectors. - Somrita Saha, Arindam Biswas:
On Construction of a Digital Plane using GCD Algorithm. - Pablo Sánchez-Cuevas, Fernando Díaz-del-Río, Pedro Real, Helena Molina-Abril:
A representation of the topological complexity of a 2D binary digital image using Homological Spanning Forests. - Pablo Sánchez-Cuevas, Fernando Díaz-del-Río, Pedro Real, Helena Molina-Abril, Darian M. Onchis, Sergio Blanco-Trejo:
Parallel Setup for computing the Homological Region Adjacency Tree of a 3D binary image. - P. Helen Vijitha, T. Robinson, Meenakshi Paramasivan:
Two-dimensional Oxide Picture Languages.
Special Session on Formalization in Mathematics
- Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio:
Formalizing Alexander duality through BDDs. - Jagadish Bapanapally, Ruben Gamboa:
A Formal Proof of the Banach-Tarski Theorem in ACL2(r). - Bernhard Ganter:
Formalization of Concepts. - Carl Kwan:
Towards Formalized Matrix Analysis and Algorithms. - Francisco J. Valverde-Albacete, Carmen Peláez-Moreno:
Is Formalizing Semifield Duality Worth it?
Special Session on Sequencing, Sequential Decision Making and Scheduling
- Alessandro Agnetis, Mario Benini, Paolo Detti, Marco Pranzo, Ben Hermans:
Replication and sequencing of unreliable jobs on parallel machines. - Guy Blanc, Jane Lange:
Properly learning decision trees in almost polynomial time. - Yuxin Chen:
Optimizing Decision Making via Submodular Surrogates. - Franziska Eberle:
Optimally handling commitment issues in online throughput maximization. - János Flesch, Benoit Duvocelle, Hui Min Shi, Mathias Staudigl, Dries Vermeulen:
A competitive search game with a moving object. - Evangelia Gergatsouli:
Opening Pandora's Box: the Correlated Case. - Felix Happach, Lisa Hellerstein, Thomas Lidbetter:
A general framework for approximating min sum ordering problems. - Sungjin Im:
Non-clairvoyant Scheduling with Predictions. - Daniel Kowalczyk, Roel Leus, Christopher Hojny, Stefan Røpke:
A flow-based formulation for parallel machine scheduling problems using decision diagrams. - R. Teal Witter:
A Local Search Algorithm for the Min-Sum Submodular Cover Problem.
Special Session on Uncertain Reasoning
- Sihem Belabbes, Salem Benferhat:
Revisiting Partially Preordered Possibilistic DL-Lite – An Extended Abstract. - Arianna Casanova, Enrique Miranda, Marco Zaffalon:
Joint Desirability Foundations of Social Choice and Opinion Pooling. - Serena Doria:
Coherent lower and upper conditional previsions with respect to inner and outer Hausdorff measures and their insights for modelling human decisions in AI. - Lilith Mattei, Alessandro Antonucci, Alessandro Facchini:
Dalal's Revision in Sentential Decision Diagrams. - Matthias Scheutz, Kamal Premaratne, Lawrence S. Moss, Avery Caulfield:
Probabilistic ‘If-Then’ Rules: On Bayesian Conditionals and Probabilistic Implications. - Fulya Trösser, Simon de Givry, George Katsirelos:
Learning the structure of Bayesian Networks using constraint programming. - Priyantha Wijayatunga:
Uncertainty in P-Values, Monty Hall Problem and, Bayesian and Neural Network Predictions.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: