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