7th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, USA, January 2-4, 2002, Online Proceedings
7. AMAI 2002:
Fort Lauderdale, Florida, USA
: Characterizing the Space of all Cliques in Random Graphs using "Go with the Winners".
: Graph decomposition heuristic for machine scheduling problems.
: Semantics for fuzzy disjunctive programs with similarity.
: A Randomization Strategy for Combinatorial Search.
: Information Gain Versus Gain Ratio: A Study of Split Method Biases.
: Exact Projection Functions for Floating Point Number Constraints (pdf).
John G. Stell
: Part and Complement: Fundamental Concepts in Spatial Relations.
Allen Van Gelder
: Extracting (Easily) Checkable Proofs from a Satisfiability Solver that Employs both Preorder and Postorder Resolution.