Search dblp for Publications

export results for "toc:db/conf/isaim/isaim2002.bht:"

 download as .bib file

@inproceedings{DBLP:conf/isaim/ApolloniM02,
  author       = {Bruno Apolloni and
                  Dario Malchiodi},
  title        = {Narrowing confidence interval width of {PAC} learning risk function
                  by algorithmic inference},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/18.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/ApolloniM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/Bernick02,
  author       = {Jonathan P. Bernick},
  title        = {Minimizing Output Error in Multi-Layer Perceptrons},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/1.pdf},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/Bernick02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/Byeon02,
  author       = {Eui{-}Seok Byeon},
  title        = {Graph decomposition heuristic for machine scheduling problems},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/10.pdf},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/Byeon02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/CenzerV02,
  author       = {Douglas Cenzer and
                  Amy Vanderbilt},
  title        = {Common Derivations in Locally Determined Logic Programs},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/4.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/CenzerV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/ColtonD02,
  author       = {Simon Colton and
                  Louise A. Dennis},
  title        = {The NumbersWithNames Program},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/5.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/ColtonD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/ColtonS02,
  author       = {Simon Colton and
                  Geoff Sutcliffe},
  title        = {Automatic Generation of Benchmark Problems for Automated Theorem Proving
                  Systems},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/6.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/ColtonS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/CookL02,
  author       = {Stephen A. Cook and
                  Yongmei Liu},
  title        = {A Complete Axiomatization for Blocks World},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/7.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/CookL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/Dimitriou02,
  author       = {Tassos Dimitriou},
  title        = {Characterizing the Space of all Cliques in Random Graphs using "Go
                  with the Winners"},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/8.pdf},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/Dimitriou02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/ElomaaK02,
  author       = {Tapio Elomaa and
                  Matti K{\"{a}}{\"{a}}ri{\"{a}}inen},
  title        = {The Difficulty of Reduced Error Pruning of Leveled Branching Programs},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/9.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/ElomaaK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/Gelder02,
  author       = {Allen Van Gelder},
  title        = {Generalizations of Watched Literals for Backtracking Search},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/32.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/Gelder02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/Gelder02a,
  author       = {Allen Van Gelder},
  title        = {Extracting (Easily) Checkable Proofs from a Satisfiability Solver
                  that Employs both Preorder and Postorder Resolution},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/33.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/Gelder02a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/Guller02,
  author       = {Dusan Guller},
  title        = {Semantics for fuzzy disjunctive programs with similarity},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/12.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/Guller02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/Harris02,
  author       = {Earl Harris},
  title        = {Information Gain Versus Gain Ratio: {A} Study of Split Method Biases},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/14.pdf},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/Harris02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/HermoL02,
  author       = {Montserrat Hermo and
                  V{\'{\i}}ctor Lav{\'{\i}}n},
  title        = {Negative Results on Learning Dependencies with Queries},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/15.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/HermoL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/LuksR02,
  author       = {Eugene M. Luks and
                  Amitabha Roy},
  title        = {Symmetry Breaking in Constraint Satisfaction},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/37.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/LuksR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/MacleanFS02,
  author       = {Ewen Maclean and
                  Jacques D. Fleuriot and
                  Alan Smaill},
  title        = {Proof planning Non-standard Analysis},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/17.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/MacleanFS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/Michel02,
  author       = {Claude Michel},
  title        = {Exact Projection Functions for Floating Point Number Constraints},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/21.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/Michel02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/NakamuraU02,
  author       = {Masayuki Nakamura and
                  Kuniaki Uehara},
  title        = {Improvement of Boosting Algorithm by Modifying the Weighting Rule},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/22.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/NakamuraU02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/Oprisan02,
  author       = {Sorinel Adrian Oprisan},
  title        = {Quantitative measures of organizational degree induced by mobile agents},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/40.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/Oprisan02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/PapadopoulosPVG02,
  author       = {Harris Papadopoulos and
                  Kostas Proedrou and
                  Volodya Vovk and
                  Alex Gammerman},
  title        = {Inductive Confidence Machines for Regression},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/23.ps},
  timestamp    = {Mon, 07 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaim/PapadopoulosPVG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/ProedrouNVG02,
  author       = {Kostas Proedrou and
                  Ilia Nouretdinov and
                  Volodya Vovk and
                  Alex Gammerman},
  title        = {Transductive Confidence Machines for Pattern Recognition},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/24.ps},
  timestamp    = {Mon, 07 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaim/ProedrouNVG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/RaileanuS02,
  author       = {Laura Elena Raileanu and
                  Kilian Stoffel},
  title        = {Theoretical Comparison between the Gini Index and Information Gain
                  Criteria},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/25.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/RaileanuS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/Schorlemmer02,
  author       = {W. Marco Schorlemmer},
  title        = {Duality in Knowledge Sharing},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/26.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/Schorlemmer02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/SmirnovHS02,
  author       = {Evgueni N. Smirnov and
                  H. Jaap van den Herik and
                  Ida G. Sprinkhuizen{-}Kuyper},
  title        = {Adaptable Boundary Sets},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/42.pdf},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/SmirnovHS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/Stell02,
  author       = {John G. Stell},
  title        = {Part and Complement: Fundamental Concepts in Spatial Relations},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/27.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/Stell02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/TsuyuguchiU02,
  author       = {Masaaki Tsuyuguchi and
                  Kuniaki Uehara},
  title        = {Bias-Variance-Decomposition of Zero-One Loss in Average-Case Model},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/31.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/TsuyuguchiU02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/WongLW02,
  author       = {S. K. Michael Wong and
                  Tao Lin and
                  Dan Wu},
  title        = {Construction of a Bayesian {DAG} from Conditional Independencies},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/38.ps},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaim/WongLW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/Zhang02,
  author       = {Hantao Zhang},
  title        = {A Randomization Strategy for Combinatorial Search},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/13.pdf},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/Zhang02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaim/ZhangZ02,
  author       = {Weihong Zhang and
                  Nevin Lianwen Zhang},
  title        = {An Alternative Formulation of Dynamic-Programming Updates for POMDPs},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/PAPERS/34.ps},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/ZhangZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/isaim/2002,
  title        = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}M 2002, Fort Lauderdale, Florida, USA, January 2-4, 2002},
  year         = {2002},
  url          = {http://rutcor.rutgers.edu/\&\#126;amai/aimath02/AcceptedCont.htm},
  timestamp    = {Wed, 02 Mar 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.