(r55) Program < Isaim2014

Isaim2014 Web>News>SpecialSessions>Program (revision 55) (raw view)~~EditAttach~~
<!--
   * Set PAGETITLE = ISAIM 2014 - Program
-->
---+ Program


---++ Monday, January 6, 2014

---+++ Registration (8:00-9:00)

---+++  Opening Remarks, Greetings (9:00–9:15) 

---+++ Keynote Speaker (9:15-10.15)
|  *Time*  |  *Description*  |
|  9:15  | TBA |
| ^ | Peter Stone |

---+++ Coffee Break (10:20-10:35)

---+++ Morning Sessions (10:40-12:10)

---++++ Main Track Session 1
|  *Time*  |  *Description*  |
<!--
|  TBA  | On Survey Sampling and Empirical Risk Minimization |
| ^ | Patrice Bertail, Emilie Chautru, and Stéphan Clémençon |
-->
|  10:40  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Tulabandhula_Rudin.pdf">Generalization Bounds for Learning with Linear and Quadratic Side Knowledge</a> |
| ^ | Theja Tulabandhula and Cynthia Rudin |
|  11:10  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Reyzin.pdf">On Boosting Sparse Parities</a> |
| ^ | Lev Reyzin |
|  11:40  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Okayama_etal.pdf">A Sufficient Condition for Learning Unbounded Unions of Languages with Refinement Operators</a> |
| ^ | Tomohiko Okayama, Ryo Yoshinaka, Keisuke Otaki, and Akihiro Yamamoto |

---++++ Special Session on Boolean and pseudo-Boolean Functions 1
|  *Time*  |  *Description*  |
|  10:40  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Boolean_Boros_Lari.pdf">Cones of Nonnegative Quadratic Pseudo-Boolean Functions</a> |
| ^ | Endre Boros and Isabella Lari |
|  11:10  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Boolean_Cire_Hooker.pdf">The Separation Problem for Binary Decision Diagrams</a> |
| ^ | André A. Ciré and J. N. Hooker |
|  11:40  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Boolean_Haus_Michini.pdf">Representations of All Solutions of Boolean Programming Problems</a> |
| ^ | Utz-Uwe Haus and Carla Michini |

---+++ Lunch (12:15-1:55)
On your own.

---+++ After Lunch Sessions (2:00-3:30)

---++++ Main Track Session 2
|  *Time*  |  *Description*  |
|  2:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Jegou_Terrioux.pdf">Connected Tree-Width: A New Parameter for Graph Decomposition</a> |
| ^ | Philippe Jégou and Cyril Terrioux |
|  2:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Korf_etal.pdf">Optimal Sequential Multi-Way Number Partitioning</a> |
| ^ | Richard E. Korf, Ethan L. Schreiber, and Michael D. Moffitt |
|  3:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Wojciechowski_etal.pdf">Variants of Quantified Linear Programming and Quantified Linear Implication</a> |
| ^ | Piotr Wojciechowski, Pavlos Eirinakis, and K. Subramani |

---++++ Special Session on Boolean and pseudo-Boolean Functions 2
|  *Time*  |  *Description*  |
|  2:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_AlSaedi_etal.pdf">About Some UP-Based Polynomial Fragments of SAT</a> |
| ^ | Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, and Lakhdar Saïs |
|  2:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Boolean_Cepek_Gursky.pdf">On the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean Formulas</a> |
| ^ | Ond&#x159;ej &#x10c;epek and &Scaron;tefan Gurský |
|  3:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Boolean_Wotzlaw_etal.pdf">Probabilistic Analysis of Random Mixed Horn Formulas</a> |
| ^ | Andreas Wotzlaw, Ewald Speckenmeyer, and Stefan Porschen |

---+++ Coffee Break (3:35-3:55)

---+++ Afternoon Sessions (4:00-6:00)

---++++ Special Session on Boolean and pseudo-Boolean Functions 3
|  *Time*  |  *Description*  |
|  4:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Boolean_Gaur.pdf">On Resolution Like Proofs of Monotone Self-Dual Functions</a> |
| ^ | Daya Gaur |
|  4:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Boolean_Kucera.pdf">Hydras: Complexity on general graphs and a subclass of trees</a> |
| ^ | Petr Ku&#x10d;era |
|  5:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Boolean_Toda.pdf">Dualization of Boolean functions Using Ternary Decision Diagrams</a> |
| ^ | Takahisa Toda |
|  5:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Boolean_Chiarelli_Milanic.pdf">Linear Separation of Connected Dominating Sets in Graphs</a> |
| ^ | Nina Chiarelli and Martin Milani&#x10d; |

---++++ Special Session on Theory of Machine Learning 1
|  *Time*  |  *Description*  |
|  4:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_ML_Tulabandhula_Rudin.pdf">Robust Optimization using Machine Learning for Uncertainty Sets</a> |
| ^ | Theja Tulabandhula and Cynthia Rudin |
|  4:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_ML_BenDavid_Urner.pdf">The sample complexity of agnostic learning with deterministic labels</a> |
| ^ | Shai Ben-David and Ruth Urner |

---+++ Evening
Water Taxi Cruise in Ft. Lauderdale. Exact time to be announced.





---++ Tuesday, January 7, 2014

---+++ Keynote Speaker (9:00-10:00)
|  *Time*  |  *Description*  |
|  9:00  | Some Formal Limits of Language |
| ^ | Aravind K. Joshi |

---+++ Coffee Break (10:05-10:20)

---+++ Morning Sessions (10:25-12:25)

---++++ Special Session on Mathematical Theories of NLP 1
Four talks; to be announced

---++++ Special Session on Boolean and pseudo-Boolean Functions 2
|  *Time*  |  *Description*  |
|  10:25  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Boolean_Allen_etal.pdf">Evaluation of DNF Formulas</a> |
| ^ | Sarah R. Allen, Lisa Hellerstein, Devorah Kletenik, and Tonguç Ünlüyurt |
|  10:55  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Boolean_Bonates_Neto.pdf">Reversing the Classification of Weighted Rule Ensembles</a> |
| ^ | Tibérius O. Bonates, and José W.V. Morais Neto |
|  11:25  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Boolean_Cicalese_etal.pdf">Function Evaluation: decision trees optimizing simultaneously worst and expected testing cost</a> |
| ^ | Ferdinando Cicalese, Eduardo Laber, and Aline Medeiros Saettler |


---+++ Lunch (12:25-1:55)
On your own.

---+++ Special Session on Computational Social Choice 1 (2:00-2.30)
|  *Time*  |  *Description*  |
|  2:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_CSC_Conitzer.pdf">The Maximum Likelihood Approach to Voting on Social Networks</a> |
| ^ | Vincent Conitzer |

---+++ After Lunch Sessions (2.30-4.00)

---++++ Special Session on Mathematical Theories of NLP 2
Three talks; to be announced. This session will start later than the parallel session on Computational Social Choice.

---++++ Special Session on Computational Social Choice 2
|  *Time*  |  *Description*  |
|  2:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_CSC_Grandi_etal.pdf">From Sentiment Analysis to Preference Aggregation</a> |
| ^ | Umberto Grandi, Andrea Loreggia, Francesca Rossi and Vijay Saraswat|
|  3:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_CSC_Xia.pdf">Assigning indivisible and categorized items</a> |
| ^ | Lirong Xia |

---+++ Coffee Break (4:05-4:25)

---+++ Afternoon (4:30-6:00)

---++++ Special Session on Computational Social Choice 3
|  *Time*  |  *Description*  |
|  4:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_CSC_Rey_etal.pdf">Toward the Complexity of the Existence of Wonderfully Stable Partitions and Strictly Core Stable Coalition Structures in Hedonic Games</a> |
| ^ | Anja Rey, Jörg Rothe, Hilmar Schadrack and Lena Schend|
|  5:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_CSC_Brandt_etal.pdf">Extending Tournament Solutions</a> |
| ^ | Felix Brandt, Markus Brill and Paul Harrenstein |


---++++ Special Session on Boolean and pseudo-Boolean Functions 3
|  *Time*  |  *Description*  |
|  4:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Barahona_etal.pdf">Efficient SAT-Encoding of Linear CSP Constraints</a> |
| ^ | Pedro Barahona, Steffen Hölldobler, and Van Hau Nguyen |
|  5:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Jabbour_etal.pdf">A Pigeon-Hole Based Encoding of Cardinality Constraints</a> |
| ^ | Said Jabbour, Lakhdar Saïs, and Yakoub Salhi |
|  5:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Abrame_etal.pdf">Improving Configuration Checking for Satisfiable Random k-SAT Instances</a> |
| ^ | André Abramé, Djamal Habet, and Donia Toumi |

---+++ Evening
Banquet in the hotel. Exact time to be announced.





---++ Wednesday, January 8, 2014

---+++ Keynote Speaker (9:00-10:00)
|  *Time*  |  *Description*  |
|  9:00  | Rate-Optimal Strategies for Partial Monitoring Games |
| ^ | Csaba Szepesvári |

---+++ Coffee Break  (10:05-10:25)

---+++ Morning Sessions (10:30-12:30)

---++++ Main Track Session 3
|  *Time*  |  *Description*  |
|  10:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Benferhat_etal.pdf">Assertional-based Removed Set Revision of DL-LiteR Belief Bases</a> |
| ^ | Salem Benferhat, Zied Bouraoui, Odile Papini, and Eric Würbel |
|  11:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_KernIsberner_etal.pdf">Probabilistic Knowledge Representation Using Gröbner Basis Theory</a> |
| ^ | Gabriele Kern-Isberner, Marco Wilhelm, and Christoph Beierle |
|  11:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Flerova_etal.pdf">Weighted Best First Search for Graphical Models</a> |
| ^ | Natalia Flerova, Radu Marinescu, and Rina Dechter |
|  12:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_Qu_Doshi.pdf">Behavioral Modeling of Sequential Bargaining Games: Fairness and Limited Backward Induction</a> |
| ^ | Xia Qu and Prashant Doshi |

---++++ Special Session on Theory of Machine Learning 2
|  *Time*  |  *Description*  |
|  10:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_ML_Gutfreund_etal.pdf">Boosting Conditional Probability Estimators</a> |
| ^ | Dan Gutfreund, Aryeh Kontorovich, Ran Levy, and Michal Rosen-Zvi |
|  11:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_ML_Huggins_Rudin.pdf">Toward a Theory of Pattern Discovery</a> |
| ^ | Jonathan Huggins and Cynthia Rudin |
|  11:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2014/WebPreferences/ISAIM2014_ML_Huang_Szepesvari.pdf">Generalization Bounds for Partially Linear Models</a> |
| ^ | Ruitong Huang and Csaba Szepesvári |

---+++ Adjourn (12:30)
Topic revision: r55 - 2013-12-25 - 12:47:45 - Main.ddioch2
Isaim2014
Main Pages
Organization
Committees
WISEST
Helping Women Faculty Advance
Funded by NSF