Publications

Parallel restarted search
- - Andre A. Cire
  - Serdar Kadioglu
  - et al.
- 2014
- AAAI 2014
Non-restarting SAT solvers with simple preprocessing can efficiently simulate resolution
- - Paul Beame
  - Ashish Sabharwal
- 2014
- AAAI 2014
Doubly regularized portfolio with risk minimization
- - Weiwei Shen
  - Jun Wang
  - et al.
- 2014
- AAAI 2014
Towards scalable exploration of diagnoses in an ontology stream
- - Freddy Lécué
- 2014
- AAAI 2014
Privacy and regression model preserved learning
- - Jinfeng Yi
  - Jun Wang
  - et al.
- 2014
- AAAI 2014
MaxSAT by improved instance-specific algorithm configuration
- - Carlos Ansótegui
  - Yuri Malitsky
  - et al.
- 2014
- AAAI 2014
Mixing-time regularized policy gradient
- - Tetsuro Morimura
  - Takayuki Osogami
  - et al.
- 2014
- AAAI 2014
Modeling subjective experience-based learning under uncertainty and frames
- - Hyung-Il Ahn
  - Rosalind W. Picard
- 2014
- AAAI 2014
Sub-selective quantization for large-scale image search
- - Yeqing Li
  - Chen Chen
  - et al.
- 2014
- AAAI 2014
Augmented human: Human os for improved mental function (position paper)
- - Steve Heisig
  - Guillermo Cecchi
  - et al.
- 2014
- AAAI 2014