The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ISAIM"( http://dblp.L3S.de/Venues/ISAIM )

URL (DBLP): http://dblp.uni-trier.de/db/conf/isaim

Publication years (Num. hits)
2002 (29) 2004 (30) 2006 (50) 2008 (62) 2010 (23) 2012 (35) 2014 (43) 2016 (41) 2018 (52)
Publication types (Num. hits)
inproceedings(358) proceedings(7)
Venues (Conferences, Journals, ...)
ISAIM(365)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 365 publication records. Showing 365 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Aleksander Kuleshov, Alexander Bernstein, Yury Yanovich Geometrically Motivated Nonstationary Kernel Density Estimation on Manifold. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1John Franco A Peek at the Cryptol Language. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Stephen D. Boyles Parking search equilibrium and its implications for parking management. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Endre Boros, Yves Crama, Elisabeth Rodríguez-Heck Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Hong 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. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Marin Lujak, Stefano Giordani, Sascha Ossowski Considering User Preference and Acceptance of Next Generation Route Guidance Systems. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1John N. Hooker Dynamic Programming Bounds from Decision Diagrams. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Pascal Lange, Nhan-Tam Nguyen, Jörg Rothe The Price to Pay for Forgoing Normalization in Fair Division of Indivisible Goods. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Oliver Bendel Selected Prototypes of Moral Machines. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Julien Savaux, Julien Vion, Sylvain Piechowiak, René Mandiau, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo, Shakre Elmane, Marius Silaghi Stochastic Game Modelling for Distributed Constraint Reasoning with Privacy. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Meshal Shutaywi, Nezamoddin N. Kachouie A Weighted Majority Voting based on NMI for Cluster Analysis. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Travaughn Bain, Juan Felix Avila Herrera, Ersoy Subasi, Munevver Mine Subasi Logical Analysis of Multiclass Data with Relaxed Patterns. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Guni Sharon, Michael Albert, Tarun Rambha, Stephen D. Boyles, Peter Stone Traffic Optimization For a Mixture of Self-interested and Compliant Agents. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Ghassen Hamdi, Mohamed Nazih Omri, Odile Papini, Salem Benferhat, Zied Bouraoui Querying DL-lite Knowledge Bases from Hidden Datasets. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Louise A. Dennis, Michael Fisher 0001 Practical Challenges in Explicit Ethical Machine Reasoning. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Karim T. Abou-Moustafa, Csaba Szepesvári An Exponential Tail Bound for Lq Stable Learning Rules. Application to k-Folds Cross-Validation. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Olfa Mabrouk, Lobna Hlaoua, Mohamed Nazih Omri Profile Categorization System based on Features Reduction. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Liron Cohen 0002, Tansel Uras, Shiva Jahangiri, Aliyah Arunasalam, Sven Koenig, T. K. Satish Kumar The FastMap Algorithm for Shortest Path Computations. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Morteza Ashraphijuo, Xiaodong Wang 0001 A Characterization of Sampling Patterns for Union of Low-Rank Subspaces Retrieval Problem. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Eric Rozier Utilizing SMT-Based Data-Integrity Constraints to Estimate Data-Quality and Compliance. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Hamid Mirzaei Buini, Guni Sharon, Stephen D. Boyles, Tony Givargis, Peter Stone Enhanced Delta-tolling: Traffic Optimization via Policy Gradient Reinforcement Learning. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael W. Levin, David Rey Conflict-point formulation of intersection control for autonomous vehicles. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Martin Mose Bentzen A Formalization of Kant's Second Formulation of the Categorical Imperative. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Masaru Nakajima, Hong Xu 0003, Sven Koenig, T. K. Satish Kumar Towards Understanding the Min-Sum Message Passing Algorithm for the Minimum Weighted Vertex Cover Problem: An Analytical Approach. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Cynthia Maushagen, Marc Neveling, Jörg Rothe, Ann-Kathrin Selker Complexity of Shift Bribery in Hare, Coombs, Baldwin, and Nanson Elections. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Debjyoti Saharoy, Theja Tulabandhula Learning Buyer Behavior under Realistic Pricing Restrictions. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1 International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Dimitrios I. Diochnos On the Evolvability of Monotone Monomials with a (1+1) Evolutionary Algorithm. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael N. Katehakis On Markov Decision Processes with Pseudo-Boolean Reward Functions. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1T. K. Satish Kumar, Zhi Wang 0013, Anoop Kumar, Craig Milo Rogers, Craig A. Knoblock On the Linear Programming Duals of Temporal Reasoning Problems. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Kevin Baum, Holger Hermanns, Timo Speith From Machine Ethics To Machine Explainability and Back. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Saeed Mahloujifar, Dimitrios I. Diochnos, Mohammad Mahmoody Learning under p-Tampering Attacks. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Jinwook Lee On the union of orthants in the n-space. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Yahel David, Balázs Szörényi, Mohammad Ghavamzadeh, Shie Mannor, Nahum Shimkin PAC Bandits with Risk Constraints. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Brody Kutt, Rachel Burdorf, Travaughn Bain, Lisa Moore, Munevver Mine Subasi Interalgorithmic Consolidation for Pattern Recognition Applied to Melanoma Genomic Data. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Benjamin Fish, Lev Reyzin, Benjamin I. P. Rubinstein Sublinear-Time Adaptive Data Analysis. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Wejdan Deebani, Nezamoddin N. Kachouie Ensemble Correlation Coefficient. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Jianding Guo, Laurent Moalic, Jean-Noël Martin, Alexandre Caminada Exact Graph Coloring Algorithms of Getting Partial and All Best Solutions. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Yakoub Salhi A Method for Generating all the Prime Implicants of Binary CNF Formulas. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Christian J. Feldbacher-Escamilla, Gerhard Schurz Meta-inductive Probability Aggregation and Optimal Scoring. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Hong Xu 0003, Xin-Zeng Wu, Cheng Cheng, Sven Koenig, T. K. Satish Kumar The Buss Reduction for the k-Weighted Vertex Cover Problem. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Wlodek Zadrozny, Luciana Garbayo A Sheaf Model of Contradictions and Disagreements. A (very) Preliminary Report. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Vincent Conitzer, Walter Sinnott-Armstrong, Jana Schaich Borg, Yuan Deng, Max Kramer 0001 Moral Decision Making Frameworks for Artificial Intelligence. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Bahram Behzadian, Marek Petrik Low-rank Feature Selection for Reinforcement Learning. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Patrice Bertail, Gabriela Ciolek, Stéphan Clémençon Generalization Bounds for Minimum Volume Set Estimation based on Markovian Data. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Jinchuan Shi, Eric A. Hansen Strategy Representation and Compression for Influence Diagrams. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Miroslav N. Velev Survey of Techniques for Efficient Solving of Boolean Formulas from Formal Verification of Pipelined, Superscalar, and VLIW Microprocessors at a High Level of Abstraction. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Lisa Hellerstein Stochastic Evaluation of Symmetric Boolean Functions. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Paolo Giuliodori, Stefano Bistarelli, Dimitri Mugnai A Fair Payment Scheme for Virtuous Community Energy Usage. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Naveen Sundar Govindarajulu, Rikhiya Ghosh, Selmer Bringsjord Extending Formal Models of the Doctrine of Double Effect with Emotions. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Ferdinando Fioretto, Hong Xu 0003, Sven Koenig, T. K. Satish Kumar Constraint Composite Graph-Based Lifted Message Passing for Distributed Constraint Optimization Problems. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Selmer Bringsjord, Naveen Sundar G., Bertram F. Malle, Matthias Scheutz Contextual Deontic Cognitive Event Calculi for Ethically Correct Robots. Search on Bibsonomy ISAIM The full citation details ... 2018 DBLP  BibTeX  RDF
1Abdelhamid Boudjelida, Salem Benferhat Conjunctive Choice Logic. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Aliza Heching, John N. Hooker Logic-Based Benders Decomposition for Multiagent Scheduling with Sequence-dependent Costs. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Salem Benferhat, Amen Ajroud Computing multiple c-revision using OCF knowledge base. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Miroslav N. Velev, Ping Gao 0002 Application of Hierarchical Hybrid Encodings to Solve CSPs as Equivalent SAT Problems. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Kahina Bouchama, Mohammed Said Radjef, Lakhdar Sais Z-Equilibrium For a CSP Game. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Stathis Plitsos, Dimitrios Magos, Ioannis Mourtos An Integrated Solver for Multi-index Assignment. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Josef Urban Learning Intelligent Theorem Proving from Large Formal Corpora. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1David Bergman Decompositions Based on Decision Diagrams. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Ersoy Subasi, Munevver Mine Subasi, Michael Lipkowitz, John Roboz, Peter L. Hammer A Classification Model to Predict the Rate of Decline of Kidney Function. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Endre Boros, Ondrej Cepek, Kazuhisa Makino A combinatorial min-max theorem and minimization of pure-Horn functions. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Jussi Määttä, Teemu Roos Robust Sequential Prediction in Linear Regression with Student's t-distribution. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Roman Barták, Jindrich Vodrázka The Effect of Domain Modeling on Efficiency of Planning. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Chao Lan, Xiaoli Li 0013, Yujie Deng, Jun Huan Partial Collective Matrix Factorization and its PAC Bound. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael Winkler Solving Non-Linear Pseudo-Boolean Optimization Problems by Constraint Integer Programming. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Eric Bach, Lisa Hellerstein, Devorah Kletenik On the Goal Value of a Boolean Function. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Benjamin Fish, Yi Huang, Lev Reyzin Recovering Social Networks by Observing Votes. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Yali Wan, Marina Meila Benchmarking recovery theorems for the DC-SBM. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Munevver Mine Subasi, Juan Felix Avila Herrera Logical Analysis of Multiclass Data. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Vincent Conitzer, Rupert Freeman, Markus Brill, Yuqian Li Rules for Choosing Societal Tradeoffs. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Bernard Gendron, Louis-Martin Rousseau Grammar-Based Integer Programming Models and Methods for Employee Scheduling Problems. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Laurent Michel, Daniel Fontaine Model Combinators in the Scheduling Domain. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Esma Balkir, Dimitri Kartsaklis, Mehrnoosh Sadrzadeh Sentence Entailment in Compositional Distributional Semantics. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Markus Brill, Vincent Conitzer, Rupert Freeman, Nisarg Shah 0001 False-Name-Proof Recommendations in Social Networks. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Steven David Prestwich, Armagan Tarim, Ibrahim Ozkan Causal Discovery by Randomness Test. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Piotr J. Wojciechowski, K. Subramani, Pavlos Eirinakis On the computational complexities of Quantified Integer Programming variants. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Leonardo de Moura Formalizing Mathematics using the Lean Theorem Prover. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Markus Brill, Rupert Freeman, Vincent Conitzer Computing Possible and Necessary Equilibrium Actions (and Bipartisan Set Winners). Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1André Ciré Hybrid Approaches Based on Lagrangian Relaxation. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Ilias S. Kotsireas Computational Approaches to Open Problems in Combinatorics. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Christian Reger Voter Control in k-Approval and k-Veto under Partial Information. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Domenico Salvagnin Detecting and Exploiting Global Structures in MIP. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Ondrej Cepek, Radek Husek Knowledge compilation from DNF to switch-list representations. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Ryan Berryhill, Andreas G. Veneris Efficient Selection of Suspect Sets in Unreachable State Diagnosis. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Munevver Mine Subasi, Melissa Moreno, Travaughn Bain, Megan Moreno, Ersoy Subasi, Katherine C. Carroll, Emily R. Cunningham, Michael Lipkowitz Pattern-based Classification and Survival Analysis of Chronic Kidney Disease. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Eric William Davis Rozier, Kristin Y. Rozier Cascading Solution to Data Dependence Constraints with Z3. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Cynthia Maushagen, Jörg Rothe Complexity of Control by Partitioning Veto and Maximin Elections. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Petr Savický, Petr Kucera Generating models of a matched formula with a polynomial delay. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Junkyu Lee, Radu Marinescu 0002, Rina Dechter Applying Search Based Probabilistic Inference Algorithms to Probabilistic Conformant Planning: Preliminary Results. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck Decomposition Methods for the Travelling Purchaser Problem. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1T. K. Satish Kumar Kernelization, Generation of Bounds, and the Scope of Incremental Computation for Weighted Constraint Satisfaction Problems. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1 International Symposium on Artificial Intelligence and Mathematics, ISAIM 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Petr Kucera Hydras: Complexity on general graphs and a subclass of trees. Search on Bibsonomy ISAIM The full citation details ... 2014 DBLP  BibTeX  RDF
1Sean A. Fulop, Sylvain Neuvel Networks of morphological relations. Search on Bibsonomy ISAIM The full citation details ... 2014 DBLP  BibTeX  RDF
1Salem Benferhat, Zied Bouraoui, Odile Papini, Eric Würbel Assertional-based Removed Set Revision of DL-LiteR Belief Bases. Search on Bibsonomy ISAIM The full citation details ... 2014 DBLP  BibTeX  RDF
1Shai Ben-David, Ruth Urner The sample complexity of agnostic learning with deterministic labels. Search on Bibsonomy ISAIM The full citation details ... 2014 DBLP  BibTeX  RDF
1Utz-Uwe Haus, Carla Michini Representations of All Solutions of Boolean Programming Problems. Search on Bibsonomy ISAIM The full citation details ... 2014 DBLP  BibTeX  RDF
1Gianluca Giorgolo, Ash Asudeh Monads for composing categorical and probabilistic meanings. Search on Bibsonomy ISAIM The full citation details ... 2014 DBLP  BibTeX  RDF
1Takahisa Toda Dualization of Boolean functions Using Ternary Decision Diagrams. Search on Bibsonomy ISAIM The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 365 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license