Program

The detailed program schedule for ISAIM 2010 is provided below. Please note that the length of technical talks will 30 minutes per talk, including five minutes for questions.

On-line copies of symposium papers are available on the Proceedings page.


ISAIM 2010 Schedule: Wednesday, January 6, 2010

Track 1 - Causeway 1 & 2 Track 2 - Causeway 3
9:00 AM Opening Session
Session Chair: Hoffman
Greetings from FAU
Welcome and remarks by general chair (Golumbic), conference chair (Hoffman), and program co-chairs (Franco and Bhatnagar)
9:30 AM Keynote Speaker: Larry Manevitz introduced by Martin Golumbic
Windows on the Mind: Some recent aspects of modeling and pattern recognition of cognition
10:30 AM ---------------------------------------------------------------------Coffee----------------------------------------------------------------------
10:50 AM
 
 
Special Session:
Boolean and Pseudo-Boolean Functions
Dedicated to the memory of Peter L. Hammer
Contributed Session 1:
Session Chair: Boros Session Chair:
10:50 Exploiting regularity in learning
  - Martin Anthony

11:20 Coverable functions: definitions and properties
  - Ondrej Cepek

11:50 Coverable functions: hardness results
  - Petr Kucera
10:50 An analysis of breadth-first beam search using uniform cost trees
  - Sandip Aine, P.P. Chakrabarti

11:20 Multi-armed bandits with episode context
  - Christopher D. Rosin

11:50 On the convergence of the convex relaxation method and distributed optimization of Bethe Free Energy
  - Ming Su
12:20 PM ------------------------------------------------------------Lunch On Your Own-------------------------------------------------------------
2:00 PM
 
 
Special Session:
Boolean and Pseudo-Boolean Functions
Dedicated to the memory of Peter L. Hammer
Contributed Session 2
Session Chair: Boros Session Chair:
2:00 Ubiquitous monotone and almost-monotone Boolean functions in systems biology
  - Utz-Uwe Haus

2:30 Solving scheduling problems with Binary Decision Diagrams
  - John N. Hooker

3:00 Complexity results of linear XSAT problems
  - Stefan Porschen
2:00 On the locality of action domination in sequential decision making
  - Emmanuel Rachelson, Michael G. Lagoudakis

2:30 On aggregating binary relations using integer linear programming
  - Julien Ah-Pine

3:00 --
  - --
3:30 PM ---------------------------------------------------------------------Coffee----------------------------------------------------------------------
4:00 PM
 
 
Special Session:
Boolean and Pseudo-Boolean Functions
Dedicated to the memory of Peter L. Hammer
 
Session Chair: Boros  
4:00 Cones of non-negative quadratic pseudo-Boolean functions
  - Endre Boros

4:30 Black-box methods for constrained quadratic 0-1 optimization
  - F. Liers

5:00 A geometric bridge from convex polytopes to threshold logic
  - M. Reza Emamy-K.
 
 

 
 

 
 
5:30 PM ---------------------------------------------------------------------Adjourn-------------------------------------------------------------------
6:15 PM -------------------------------------------------Walk departs to 6:30 water-taxi tour-------------------------------------------------

ISAIM 2010 Schedule: Thursday, January 7rd, 2010

Track 1 - Causeway 1 & 2 Track 2 - Causeway 3
9:00 AM Keynote Speaker: Georg Gottlob introduced by Fred Hoffman
Datalog±: A Unified Approach to Ontologies and Integrity Constraints
10:00 AM ---------------------------------------------------------------------Coffee----------------------------------------------------------------------
10:20 AM
 
 
Special Session:
Boolean and Pseudo-Boolean Functions
Dedicated to the memory of Peter L. Hammer
Contributed Session 3:
Session Chair: Boros Session Chair:
10:20 Learning random DNF over the uniform distribution
  - Linda Sellie

10:50 A combinatorial algorithm for the threshold recognition problem
  - Jan-Georg Smaus

11:20 On evolvability: the swapping algorithm, product distributions, and covariance
  - Dimitris Diochnos
10:20 Computational complexity and approximation methods of most relevant explanation
  - Heejin Lim and Changhe Yuan

10:50 On the analysis of the unity of Jeffrey's rule of conditioning in a probabilistic framework
  - Salem Benferhat, Karim Tabia, Karima Sedki


11:20 Sparse Markov net learning with priors on regularization parameters

  - Katya Scheinberg, Irina Rish, Narges Bani Asadi
12:20 PM -----------------------------------Lunch On Your Own. (AMAI Editorial Board: lunch meeting)-------------------------------
1:50 PM
 
Special Session:
Constraint Programming and Hybrid Methods
Contributed Session 4:
Session Chair: Hooker Session Chair:
2:00 Checking Up on Branch-and-Check
  - J. Christopher Beck

2:30 Linearization of Global Constraints
  - Meinolf Sellmann

2:30 A Polyhedral Study of the Alldifferent System
  - Dimitris Magos
2:00 Design of parallel portfolios for SAT-based solving of Hamiltonian cycle problems
  - Miroslav N. Velev, Ping Gao

2:30 Evaluating partition strategies for mini-bucket elimination
  - Emma Rollon, Rina Dechter

3:00 Towards parallel search for optimization in graphical models
  - Lars Otten, Rina Dechter
3:30 PM ---------------------------------------------------------------------Coffee----------------------------------------------------------------------
4:00 PM
 
 
Special Sessions:
Constraint Programming and Hybrid
   Methods (cont)
Data Clustering for Bio-Informatics
 
Session Chair: Bhatnagar  
4:00 A Polyhedral Study of the Cumulative Constraint
  - Tallys Yunes

4:30 Similarity measures in formal concept analysis
  - Faris Alqadah, Raj Bhatnagar

5:00 Prior Information Based Bayesian Infinite Mixture Model
  - Zhen Hu, Siva Sivaganesan, Mario Medvedovic
 
 

 
 


 

 
5:30 PM ---------------------------------------------------------------------Adjourn-------------------------------------------------------------------
7:00 PM ----------------------------------------Banquet dinner in hotel, room Terra -----------------------------------------------

ISAIM 2010 Schedule: Friday, January 8th, 2010

Track 1 - Causeway 1 & 2 Track 2 - Causeway 3
8:50 AM Greetings from Dean Gary Perry of Charles E. Schmidt College of Science of Florida Atlantic University
9:00 AM Keynote Speaker: Warren Hunt introduced by John Franco
Using Mathematics on and Industrial Scale
10:00 AM ---------------------------------------------------------------------Coffee----------------------------------------------------------------------
10:20 AM
 
 
Special Session:
Data Clustering for Bio-informatics (cont)
Contributed Session 5:
Session Chair: Bhatnagar Session Chair:
10:20 Simultaneous Search in Multiple Lattices for Knowledge Discovery
  - Mrunal Deshmukh, Raj Bhatnagar, and Anil Jegga

10:50 Identifying Transcriptional Modules using Subspace Clustering
  - Amit Sinha

11:20 Model Quality Assessment in Membrane Proteins Using predicted Lipid Accessibility Profiles
  - Mukta Phatak and Jaroslaw Meller
10:20 Valid parameters for predictive state representations
  - Britton Wolfe

10.50 Solving influence diagrams using heuristic search
  - Changhe Yuan, Xiaojian Wu

11.20 Approximate solutions of interactive dynamic influence diagrams
  - Muthukumaran C. Prashant Doshi, Yifeng Zeng
12:20 PM ------------------------------------------------------------Lunch On Your Own-------------------------------------------------------------
2:00 PM Panel and Discussion:  
Session Chair:  
2:00 Computation, complexity, and Artificial Intelligence
  - four panelists to be named

 
4:00 PM --------------------------------------------------------------End of Symposium-------------------------------------------------------------


Last updated: January 1, 2010.