Papers
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht et al.
Divide and Conquer: Towards Faster Pseudo-Boolean Solving
Jan Elffers, Jakob Nordström
Unary Integer Linear Programming with Structural Restrictions
Eduard Eiben, Robert Ganian, Dušan Knop et al.
Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping
Diego De Uña, Nataliia Rümmele, Graeme Gange et al.
Methods for off-line/on-line optimization under uncertainty
Allegra De Filippo, Michele Lombardi, Michela Milano
Descriptive Clustering: ILP and CP Formulations with Applications
Thi-Bich-Hanh Dao, Chia-Tung Kuo, S. S. Ravi et al.
Classification Transfer for Qualitative Reasoning Problems
Manuel Bodirsky, Peter Jonsson, Barnaby Martin et al.
On the Satisfiability Threshold of Random Community-Structured SAT
Dina Barak-Pelleg, Daniel Berend
A Framework for Constraint Based Local Search using Essence
Özgür Akgün, Saad Attieh, Ian P. Gent et al.
DehazeGAN: When Image Dehazing Meets Differential Programming
Hongyuan Zhu, Xi Peng, Vijay Chandrasekhar et al.
Centralized Ranking Loss with Weakly Supervised Localization for Fine-Grained Object Retrieval
Xiawu Zheng, Rongrong Ji, Xiaoshuai Sun et al.
Learning Robust Gaussian Process Regression for Visual Tracking
Linyu Zheng, Ming Tang, Jinqiao Wang
A Comparative Study of Transactional and Semantic Approaches for Predicting Cascades on Twitter
Yunwei Zhao, Can Wang, Chi-Hung Chi et al.
A Multi-task Learning Approach for Image Captioning
Wei Zhao, Benyou Wang, Jianbo Ye et al.
Distortion-aware CNNs for Spherical Images
Qiang Zhao, Chen Zhu, Feng Dai et al.
Hi-Fi: Hierarchical Feature Integration for Skeleton Detection
Kai Zhao, Wei Shen, Shanghua Gao et al.
3D-Aided Deep Pose-Invariant Face Recognition
Jian Zhao, Lin Xiong, Yu Cheng et al.
Video Captioning with Tube Features
Bin Zhao, Xuelong Li, Xiaoqiang Lu
Layered Optical Flow Estimation Using a Deep Neural Network with a Soft Mask
Xi Zhang, Di Ma, Xu Ouyang et al.
Robust Face Sketch Synthesis via Generative Adversarial Fusion of Priors and Parametric Sigmoid
Shengchuan Zhang, Rongrong Ji, Jie Hu et al.
High Resolution Feature Recovering for Accelerating Urban Scene Parsing
Rui Zhang, Sheng Tang, Luoqi Liu et al.
Salient Object Detection by Lossless Feature Reflection
Pingping Zhang, Wei Liu, Huchuan Lu et al.
Markov Random Neural Fields for Face Sketch Synthesis
Mingjin Zhang, Nannan Wang, Xinbo Gao et al.
Visual Data Synthesis via GAN for Zero-Shot Video Classification
Chenrui Zhang, Yuxin Peng