7. AMAI 2002:
Fort Lauderdale,
Florida,
USA
7th International Symposium on Artificial Intelligence and Mathematics,
Fort Lauderdale,
Florida,
USA,
January 2-4,
2002,
Online Proceedings
- Jonathan P. Bernick:
Minimizing Output Error in Multi-Layer Perceptrons.
Electronic Edition (link) BibTeX
- Douglas A. Cenzer, Amy Vanderbilt:
Common Derivations in Locally Determined Logic Programs.
Electronic Edition (link) BibTeX
- Simon Colton, Louise A. Dennis:
The NumbersWithNames Program.
Electronic Edition (link) BibTeX
- Simon Colton, Geoff Sutcliffe:
Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems.
Electronic Edition (link) BibTeX
- Stephen A. Cook, Yongmei Liu:
A Complete Axiomatization for Blocks World.
Electronic Edition (link) BibTeX
- Tassos Dimitriou:
Characterizing the Space of all Cliques in Random Graphs using "Go with the Winners".
Electronic Edition (link) BibTeX
- Tapio Elomaa, Matti Kääriäinen:
The Difficulty of Reduced Error Pruning of Leveled Branching Programs.
Electronic Edition (link) BibTeX
- Eui-Seok Byeon:
Graph decomposition heuristic for machine scheduling problems.
Electronic Edition (link) BibTeX
- Dusan Guller:
Semantics for fuzzy disjunctive programs with similarity.
Electronic Edition (link) BibTeX
- Hantao Zhang:
A Randomization Strategy for Combinatorial Search.
Electronic Edition (link) BibTeX
- Earl Harris:
Information Gain Versus Gain Ratio: A Study of Split Method Biases.
Electronic Edition (link) BibTeX
- Montserrat Hermo, Víctor Lavín:
Negative Results on Learning Dependencies with Queries.
Electronic Edition (link) BibTeX
- Ewen Maclean, Jacques D. Fleuriot, Alan Smaill:
Proof planning Non-standard Analysis.
Electronic Edition (link) BibTeX
- Bruno Apolloni, Dario Malchiodi:
Narrowing confidence interval width of PAC learning risk function by algorithmic inference.
Electronic Edition (link) BibTeX
- Claude Michel:
Exact Projection Functions for Floating Point Number Constraints (pdf).
Electronic Edition (link) BibTeX
- Masayuki Nakamura, Kuniaki Uehara:
Improvement of Boosting Algorithm by Modifying the Weighting Rule.
Electronic Edition (link) BibTeX
- Harris Papadopoulos, Kostas Proedrou, Volodya Vovk, Alexander Gammerman:
Inductive Confidence Machines for Regression.
Electronic Edition (link) BibTeX
- Kostas Proedrou, Ilia Nouretdinov, Volodya Vovk, Alexander Gammerman:
Transductive Confidence Machines for Pattern Recognition.
Electronic Edition (link) BibTeX
- Laura Elena Raileanu, Kilian Stoffel:
Theoretical Comparison between the Gini Index and Information Gain Criteria.
Electronic Edition (link) BibTeX
- W. Marco Schorlemmer:
Duality in Knowledge Sharing.
Electronic Edition (link) BibTeX
- John G. Stell:
Part and Complement: Fundamental Concepts in Spatial Relations.
Electronic Edition (link) BibTeX
- Masaaki Tsuyuguchi, Kuniaki Uehara:
Bias-Variance-Decomposition of Zero-One Loss in Average-Case Model.
Electronic Edition (link) BibTeX
- Allen Van Gelder:
Generalizations of Watched Literals for Backtracking Search.
Electronic Edition (link) BibTeX
- Allen Van Gelder:
Extracting (Easily) Checkable Proofs from a Satisfiability Solver that Employs both Preorder and Postorder Resolution.
Electronic Edition (link) BibTeX
- Weihong Zhang, Nevin Lianwen Zhang:
An Alternative Formulation of Dynamic-Programming Updates for POMDPs.
Electronic Edition (link) BibTeX
- Eugene M. Luks, Amitabha Roy:
Symmetry Breaking in Constraint Satisfaction.
Electronic Edition (link) BibTeX
- S. K. Michael Wong, Tao Lin, Dan Wu:
Construction of a Bayesian DAG from Conditional Independencies.
Electronic Edition (link) BibTeX
- Sorinel Adrian Oprisan:
Quantitative measures of organizational degree induced by mobile agents.
Electronic Edition (link) BibTeX
- Evgueni N. Smirnov, H. Jaap van den Herik, Ida G. Sprinkhuizen-Kuyper:
Adaptable Boundary Sets.
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:57:38 2009
by Michael Ley (ley@uni-trier.de)