TWiki
>
Isaim2014 Web
>
News
>
SpecialSessions
>
Program
(revision 55) (raw view)
Edit
Attach
<!-- * 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řej Čepek and Š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č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č | ---++++ 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)
Edit
|
Attach
|
P
rint version
|
H
istory
:
r59
|
r57
<
r56
<
r55
<
r54
|
B
acklinks
|
V
iew topic
|
Raw edit
|
More topic actions...
Topic revision: r55 - 2013-12-25 - 12:47:45 - Main.ddioch2
Isaim2014
Main Pages
Home
News
Keynote Speakers
Special Sessions
Program
Accepted Papers
Venue and Travel
Registration
Paper Submission
Call for Papers
Important Dates
Organization
Committees
Previous Meetings
Contact Us
ABOUT US
Our Department
Recent News
Contact Us
ACADEMICS
Prospective Students
Undergraduate
CS Minor
Graduate
Courses
RESEARCH
Overview
By Faculty
Labs
PEOPLE
Faculty
Adjuncts
Staff
Students
Alumni
Copyright 2016 The Board of Trustees
of the University of Illinois.
webmaster@cs.uic.edu
WISEST
Helping Women Faculty Advance
Funded by NSF