ECAI-2000 Workshop "Empirical Methods in Artificial Intelligence"
Programme
Tuesday, 22 August 2000
13:50-14:00 Introduction and Overview
14:00-15:10 Session "Analysis of algorithms"
-
On Statistically Evaluating the Quality of
Empirically-Computed Hamiltonian Path
B. John Oommen, School of Comp. Science, Carleton University, Ottawa, CANADA
I. Kuban Altinel,Dept. of Industrial Eng. Bogazici University. Istanbul, Turkey
Necati Aras, .I.d.e.a. A.S., Tuzla 81719, Istanbul, Turkey
-
On Selecting Problem Instances for Evaluating Satisfiability Algorithms
J. Marques-Silva, Instituto de Engenharia de Sistemas e Computadores (INESC), Lisboa, Portugal
- Is Davis-Putnam heavy-tailed?
B. O'Nuallain, Institute for Language, Logic and Computation, Amsterdam, The Netherlands
- General discussion on analysis of algorithms (10 min)
15:10-15:30 Coffee break
15:30-16:30 Session "Search space analysis and models of computation"
- Focusing on the Individual - Why we Need New Methods for
Characterizing Problem Difficulty
Jean-Paul Watson and Adele E. Howe, Computer
Science Department, Colorado State University, USA.
- Probabilistic Models of Computing
I. Rish, IBM T.J. Watson Research Center, Hawthorne, NY, USA.
16:30-16:50 Empirical Methods for CS (invited presentation
by Toby Walsh and Ian Gent)
16:50-17:30 Session "Specific application domains"
- Distributed Reinforcement Learning for Multiple Objective
Optimization Problems
Carlos E. Mariano Romero, Instituto
Mexicano de Tecnologia del Agua, Jiutepec, Morelos, Mexico
Eduardo F. Morales, ITESM Campus Morelos, Morelos, Mexico
- Business phase classification and prediction: How to
compare interpretability of classification methods?
Claus Weihs and Ursula Sondhauss
Department of Statistics, University of Dortmund, Germany
17:30-18:00 Closing discussion - On the Role of Empirical Methods in
AI and Computer Science
19:30-open Informal dinner & discussion (place TBA)
Information for presenters:
Each talk is assigned a 20min slot. Please leave 3-5min of this time for discussion.
For the presentation, an overhead projector and a LCD projector (beamer)
will be available.
Last modified: 11 Aug 2000