Crossword Puzzles as a Constraint Problem Anbulagan and Adi Botea NICTA?? and Australian National University, Canberra, Australia {anbulagan|adi.botea}@nicta.com.au Abstract. We present new results in crossword composit

Source URL: abotea.rsise.anu.edu.au

• Constraint programming
• NP-complete problems
• Puzzles
• Crossword
• Constraint satisfaction
• Local consistency
• Human behavior
• Backtracking
• Theoretical computer science
• Cognition

Learning from Corrupted Binary Labels via Class-Probability Estimation Aditya Krishna Menon∗ ADITYA . MENON @ NICTA . COM . AU Brendan van Rooyen† BRENDAN . VANROOYEN @ NICTA . COM . AU

Source URL: proceedings.mlr.press

Learning from Corrupted Binary Labels via Class-Probability Estimation (Full Version) Aditya Krishna Menon∗ ADITYA . MENON @ NICTA . COM . AU Brendan van Rooyen†

Source URL: proceedings.mlr.press

Microsoft PowerPoint - nicta-bgp.ppt

Source URL: djw.cs.washington.edu

Computing Pareto Optimal Committees Haris Aziz NICTA and UNSW Sydney, Australia

Source URL: www.lamsade.dauphine.fr

Automatic Synthesis of High-Assurance Device Drivers G ERNOT H EISER, NICTA, Australia L EONID RYZHYK , M ICHAEL S TUMM, University of Toronto, Canada PAVOL C ERNY, University of Colorado Boulder, USA A LASTAIR F. D ONAL

Source URL: ts.data61.csiro.au

Loss factorization, weakly supervised learning and label noise robustness Giorgio Patrini, Frank Nielsen, Richard Nock, Marcello Carioni Australian National University, Data61 (ex NICTA), Ecole Polytechnique, Sony CS Lab

Source URL: giorgiop.github.io

Class-Specific Image Deblurring Saeed Anwar1 , Cong Phuoc Huynh1,2 , Fatih Porikli1,2 1 The Australian National University∗ Canberra ACT 2601, Australia 2 NICTA, Locked Bag 8001, Canberra ACT 2601, Australia

Source URL: www.cv-foundation.org

SentiCap: Generating Image Descriptions with Sentiments Alexander Mathews∗ , Lexing Xie∗† , Xuming He†∗ The Australian National University, † NICTA , , xuming.he@ni

Source URL: arxiv.org

Static Analysis of Device Drivers: We Can Do Better! Sidney Amani‡§ Leonid Ryzhyk‡§ Alastair F. Donaldson¶ Gernot Heiser‡§ Alexander Legg‡k Yanjin Zhu‡§ ‡ NICTA∗

Source URL: www.doc.ic.ac.uk