Skip to content

International Symposium on Artificial Intelligence and Mathematics

ISAIM

National

CORE rank

CORE rank (raw)

National: USA

Fields of research

Artificial Intelligence

Papers indexed

455

2002–2024

Papers per year

200261 peak2024

ISAIM papers

455 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2006Adventures in Randomized Computational Methods.Carla P. Gomes
2006Bargaining in Bundle over Multiple Issues in Finite-Horizon Alternating-Offers Protocol.Francesco Di Giunta, Nicola Gatti
2006Efficient First Order Superlinear Algorithms.Peter Gczy, Shotaro Akaho, Shiro Usui
2006Dynamic Algorithm Portfolios.Matteo Gagliolo, Jrgen Schmidhuber
2006A Hybrid Approach to NER by Integrating Manual Rules into MEMM.Moshe Fresko, Binyamin Rosenfeld, Ronen Feldman
2006Backbone Guided Dynamic Local Search for Propositional Satisfiability.Valnir Ferreira Jr.
2006Region-Based Dynamic Programming for POMDPs.Zhengzhu Feng
2006On the Difficulty of Achieving Equilibrium in Interactive POMDPs.Prashant Doshi, Piotr J. Gmytrasiewicz
2006Symmetric Primal-Dual Approximate Linear Programming for Factored MDPs.Dmitri A. Dolgov, Edmund H. Durfee
2006Towards a Rule-Based Interpretation of Conditional Defaults.Jim Delgrande
2006A Statistical Mechanics Approach to Random Euclidean MAX TSP.David S. Dean, David Lancaster, Satya N. Majumdar
2006Scalable Inference in Hierarchical Generative Models.Thomas Dean
2006Hierarchical Bayesian Models of the Primate Visual Cortex.Thomas Dean
2006Quartet-Based Learning of Hierarchical Latent Class Models: Discovery of Shallow Latent Variables.Tao Chen, Nevin Lianwen Zhang
2006Solving Constrained Nonlinear Optimization Problems Through Constraint Partitioning.Yixin Chen
2006Bounded Branching and Modalities in Non-Deterministic Planning.Blai Bonet
2006Two Paradigms of Nonmonotonic Reasoning.Alexander Bochman
2006A Semi-Algebraic Description of Naive Bayes Models with Two Hidden Classes.Vincent Auvray, Pierre Geurts, Louis Wehenkel
2006Understanding One Another: Making Out AI Meanings with Boolean Equations.Zippora Arzi-Gonczarowski
2006Finding Optimal POMDP Controllers Using Quadratically Constrained Linear Programs.Christopher Amato, Daniel S. Bernstein, Shlomo Zilberstein
2006Run-time Estimates for Protein Folding Simulation in the H-P Model.Andreas Alexander Albrecht, Kathleen Steinhfel
2004Crane Scheduling with Spatial Constraints: Mathematical Models and Solving Approaches.Yi Zhu, Andrew Lim
2004Bayesian Model Averaging Across Model Spaces via Compact Encoding.Ke Yin, Ian Davidson
2004Multi-Agent Dialogue Protocols.Christopher D. Walton
2004Using Automatic Case Splits and Efficient CNF Translation to Guide a SAT-solver when Formally Verifying Out-Of-Order Processors.Miroslav N. Velev
376400 of 455← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.