| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessandro Agnetis, Mario Benini, Paolo Detti, Marco Pranzo, Ben Hermans |
Replication and sequencing of unreliable jobs on parallel machines.  |
ISAIM  |
2022 |
DBLP BibTeX RDF |
|
| 1 | Simon Cramer, Anna Maria Kerkmann, Jörg Rothe |
Min-Based Altruism in Coalition Formation Games. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | S. Annadurai, T. T. Raman, T. Kalyani, D. Gnanaraj Thomas, P. Ravichandran |
Pasting Systems with Picture Tiles Yielding Interesting Patterns. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Noam Slonim |
Project Debater - an autonomous debating system. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Pablo Sánchez-Cuevas, Fernando Díaz-del-Río, Pedro Real 0001, Helena Molina-Abril |
A representation of the topological complexity of a 2D binary digital image using Homological Spanning Forests. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Nathan Arnold, Sarah H. Snider, Judy Goldsmith |
Extensions on Tiered Coalition Formation Games. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Yuxin Chen 0001 |
Optimizing Decision Making via Submodular Surrogates. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Lisa Hellerstein, Devorah Kletenik, Naifeng Liu, R. Teal Witter |
Adaptivity gap of the SBFE problem. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Gatterbauer |
Algebraic Approximations of the Probability of Monotone Boolean Functions. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Somrita Saha, Arindam Biswas 0002 |
On Construction of a Digital Plane using GCD Algorithm. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Francisco J. Valverde-Albacete, Carmen Peláez-Moreno |
Is Formalizing Semifield Duality Worth it? |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Carl Kwan |
Towards Formalized Matrix Analysis and Algorithms. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | János Flesch, Benoit Duvocelle, Hui Min Shi, Mathias Staudigl, Dries Vermeulen |
A competitive search game with a moving object. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Vibhav Gogate |
Dissociation-Based Oblivious Bounds for Weighted Model Counting. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | T. Kalyani, F. Sweety, D. Gnanaraj Thomas, K. Bhuvaneswari |
Tetrahedral Picture Languages and their Applications in Imaging. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Franziska Eberle |
Optimally handling commitment issues in online throughput maximization. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Matthias Scheutz, Kamal Premaratne, Lawrence S. Moss, Avery Caulfield |
Probabilistic ‘If-Then’ Rules: On Bayesian Conditionals and Probabilistic Implications. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Christian Addington, Jacob Schlueter, Judy Goldsmith |
The Power of Symmetry for Nash Stable Additively Separable Hedonic Games. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Somrita Saha, Arindam Biswas 0002 |
Approximate Convex Decomposition of 3D Digital Object Surface Using Scalar Triple Product of Vectors. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | 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. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Felix Happach, Lisa Hellerstein, Thomas Lidbetter |
A general framework for approximating min sum ordering problems. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Ohad Shamir |
Elephant in the Room: Non-Smooth Non-Convex Optimization. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | John N. Hooker |
Stochastic Binary Decision Diagrams. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | P. Helen Vijitha, T. Robinson 0001, Meenakshi Paramasivan |
Two-dimensional Oxide Picture Languages. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | 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. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | R. Krishna Kumari, R. Arulprakasam, Meenakshi Paramasivan, V. Rajkumar Dare |
Circular Partial Words and Arrays. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Daniel Kowalczyk, Roel Leus, Christopher Hojny, Stefan Røpke |
A flow-based formulation for parallel machine scheduling problems using decision diagrams. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Angelo Fanelli 0001, Gianpiero Monaco, Luca Moscardelli |
Relaxed Core Stability in Fractional Hedonic Games. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Lilith Mattei, Alessandro Antonucci 0001, Alessandro Facchini |
Dalal's Revision in Sentential Decision Diagrams. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Arianna Casanova, Enrique Miranda 0001, Marco Zaffalon |
Joint Desirability Foundations of Social Choice and Opinion Pooling. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | 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. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Claude Carlet |
Parameterization of Boolean functions by vectorial functions and associated constructions. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Yves Crama, Sourour Elloumi, Amélie Lambert, Elisabeth Rodríguez-Heck |
Quadratic reformulations for the optimization of pseudo-boolean functions. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Endre Boros, Joonhee Lee |
Boole's probability bounding problem, linear programming aggregations, and nonnegative quadratic pseudo-Boolean functions. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Ondrej Cepek, James Weigle |
A Direct Equivalence-Testing Algorithm for SLRs. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Bugra Çaskurlu, Fatih Erdem Kizilkaya, Berkehan Ozen |
Hedonic Expertise Games. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Sungjin Im |
Non-clairvoyant Scheduling with Predictions. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Miguel Couceiro |
Analogical proportions: from Boolean to nominal and beyond... |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Guy Blanc, Jane Lange |
Properly learning decision trees in almost polynomial time. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Selim Reza, José J. M. Machado, João Manuel R. S. Tavares |
Analysis of the Structure of the Road Networks: A Network Science Perspective. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Sabyasachi Mukherjee, Oishila Bandyopadhyay, Arindam Biswas 0002 |
Detection of Knee Osteoarthritis using Light-weight CNN. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Noga Zaslavsky |
The information geometry of pragmatic reasoning. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Jagadish Bapanapally, Ruben Gamboa |
A Formal Proof of the Banach-Tarski Theorem in ACL2(r). |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Evangelia Gergatsouli |
Opening Pandora's Box: the Correlated Case. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | |
Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), Fort Lauderdale, Florida, USA, January 3-5, 2022 |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | R. Teal Witter |
A Local Search Algorithm for the Min-Sum Submodular Cover Problem. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Seçkin Özbilen |
Bottom Coalition Properties. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Priyantha Wijayatunga |
Uncertainty in P-Values, Monty Hall Problem and, Bayesian and Neural Network Predictions. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Fulya Trösser, Simon de Givry, George Katsirelos |
Learning the structure of Bayesian Networks using constraint programming. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Aydin Avkan, Benedek Nagy, Müge Saadetoglu |
A Comparison of 2D Regular Grids based on Digital Continuity of Rotations. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Alexis de Colnet, Pierre Marquis |
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Sushmita Gupta, Sanjukta Roy, Saket Saurabh 0001, Meirav Zehavi |
Parameterized Analysis for the Group Activity Selection Problem on Graphs. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Joanna Kaczmarek 0001, Jörg Rothe |
Controlling Weighted Voting Games by Deleting or Adding Players with or without Changing the Quota. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | S. James Immanuel, S. Jayasankar, D. Gnanaraj Thomas |
P Systems on Hexagonal Picture Languages and Applications. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Pablo Sánchez-Cuevas, Fernando Díaz-del-Río, Pedro Real 0001, Helena Molina-Abril, Darian M. Onchis, Sergio Blanco-Trejo |
Parallel Setup for computing the Homological Region Adjacency Tree of a 3D binary image. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Ganter |
Formalization of Concepts. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio 0001 |
Formalizing Alexander duality through BDDs. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Sihem Belabbes, Salem Benferhat |
Revisiting Partially Preordered Possibilistic DL-Lite – An Extended Abstract. |
ISAIM |
2022 |
DBLP BibTeX RDF |
|
| 1 | Joonhee Lee, Endre Boros |
Bounds for the Probability of the Union of Events. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Karine Chubarian, György Turán |
Interpretability of Bayesian Network Classifiers: OBDD Approximation and Polynomial Threshold Functions. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Bjørn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb, Davin Takahashi |
VC-dimensions of nondeterministic finite automata for words of equal length. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Sihem Belabbes, Salem Benferhat |
Partially Preordered Inconsistent Lightweight Ontologies in Possibility Theory. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Julien Vion, René Mandiau, Sylvain Piechowiak, Marius Silaghi 0001 |
Privacy for the Distributed Stochastic Algorithm with Breakouts. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Mohammad Valipour, Sandra M. Guzmán, Mohammad Ali Gholami Sefidkouhi, Mahmoud Raeini-Sarjaz |
Using Genetic Algorithms and Gene Expression Programming to Estimate Evapotranspiration with Limited Meteorological Data. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Hong Xu 0003, Kexuan Sun 0002, Sven Koenig, Itay Hen, T. K. Satish Kumar |
Hybrid Quantum-Classical Algorithms for Solving the Weighted CSP. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Theja Tulabandhula, Yunjuan Wang |
Making Recommendations when Users Experience Fatigue. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Satoru Watanabe, Hayato Yamana |
Topological Measurement of Deep Neural Networks Using Persistent Homology. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Thiago Serra, Srikumar Ramalingam |
Empirical Bounds on Linear Regions of Deep Rectifier Networks. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Daya Ram Gaur, Muhammad Khan |
Testing Unsatisfiability of Constraint Satisfaction Problems via Tensor Products. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Jingchao Chen |
Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Marc Neveling, Jörg Rothe, Roman Zorn |
The Complexity of Controlling Condorcet, Fallback, and k-Veto Elections by Replacing Candidates or Voters. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Petr Kucera, Petr Savický |
On the size of CNF formulas with high propagation strength. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Anna Maria Kerkmann, Jörg Rothe |
Altruism in Coalition Formation Games. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Kristóf Bérczi, Endre Boros, Ondrej Cepek, Petr Kucera, Kazuhisa Makino |
Approximating minimum representations of key Horn functions. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Dimitrios I. Diochnos, Saeed Mahloujifar, Mohammad Mahmoody |
Lower Bounds for Adversarially Robust PAC Learning. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Leon Nunes, Yiannis Ampatzidis, Lucas Costa, Marcelo Wallau |
Horse foraging behavior detection using Recurrent Neural Networks. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Jinwook Lee, András Prékopa |
On the conditional expectation given Boolean functions of events in the n-space. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Richard Ostrowski, Lionel Paris, Adrien Varet |
Another Way to Browse the Search Space For Some Transformations from CSP to SAT. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Milos Chromý, Ondrej Cepek |
Compiling SL representations of Boolean functions into OBDDs. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Victor Partel, Jinho Kim, Lucas Costa, Panos M. Pardalos, Yiannis Ampatzidis |
Smart Sprayer for Precision Weed Control Using Artificial Intelligence: Comparison of Deep Learning Frameworks. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Jaafar Abdulridha, Yiannis Ampatzidis, Pamela Roberts, Sri Charan Kakarla |
Detecting and monitoring the progress of powdery mildew disease in squash using hyperspectral imaging and artificial neural networks. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | K. Subramani 0001, Piotr Wojciechowski 0002 |
Finding read-once refutations in 2CNF formulas and variants - a parameterized perspective. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Hao Gan, Won Suk Lee, Natalia Peres, Clyde W. Fraisse |
Development of A Multi-Angle Imaging System for Automatic Strawberry Flower Counting. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Christian Komo, Christoph Beierle |
Upper and lower bounds for finite domain constraints to realize skeptical inference over conditional knowledge bases. |
ISAIM |
2020 |
DBLP BibTeX RDF |
|
| 1 | Aleksander Kuleshov, Alexander Bernstein, Yury Yanovich |
Geometrically Motivated Nonstationary Kernel Density Estimation on Manifold. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | John Franco |
A Peek at the Cryptol Language. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Stephen D. Boyles |
Parking search equilibrium and its implications for parking management. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Endre Boros, Yves Crama, Elisabeth Rodríguez-Heck |
Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Hong Xu 0003, Kexuan Sun 0002, Sven Koenig, T. K. Satish Kumar |
A Warning Propagation-Based Linear-Time-and-Space Algorithm for the Minimum Vertex Cover Problem on Giant Graphs. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Marin Lujak, Stefano Giordani, Sascha Ossowski |
Considering User Preference and Acceptance of Next Generation Route Guidance Systems. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | John N. Hooker |
Dynamic Programming Bounds from Decision Diagrams. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Pascal Lange, Nhan-Tam Nguyen, Jörg Rothe |
The Price to Pay for Forgoing Normalization in Fair Division of Indivisible Goods. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Oliver Bendel |
Selected Prototypes of Moral Machines. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Julien Savaux, Julien Vion, Sylvain Piechowiak, René Mandiau, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo, Shakre Elmane, Marius Silaghi 0001 |
Stochastic Game Modelling for Distributed Constraint Reasoning with Privacy. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Meshal Shutaywi, Nezamoddin Nezamoddini-Kachouie |
A Weighted Majority Voting based on NMI for Cluster Analysis. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Travaughn C. Bain, Juan Felix Avila Herrera, Ersoy Subasi, Munevver Mine Subasi |
Logical Analysis of Multiclass Data with Relaxed Patterns. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Guni Sharon, Michael Albert, Tarun Rambha, Stephen D. Boyles, Peter Stone |
Traffic Optimization For a Mixture of Self-interested and Compliant Agents. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Ghassen Hamdi, Mohamed Nazih Omri, Odile Papini, Salem Benferhat, Zied Bouraoui |
Querying DL-lite Knowledge Bases from Hidden Datasets. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Louise A. Dennis, Michael Fisher 0001 |
Practical Challenges in Explicit Ethical Machine Reasoning. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
| 1 | Karim T. Abou-Moustafa, Csaba Szepesvári |
An Exponential Tail Bound for Lq Stable Learning Rules. Application to k-Folds Cross-Validation. |
ISAIM |
2018 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license