ISAIM 2002: Fort Lauderdale, Florida, USA

• 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