Conference paper
Reasoning about RoboCup soccer narratives
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011
A finite test set for an integer optimization problem enables us to verify whether a feasible point attains the global optimum. In this paper, we establish several general results that apply to integer optimization problems with nonlinear objective functions. © 2008 Elsevier B.V. All rights reserved.
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011
Salvatore Certo, Anh Pham, et al.
Quantum Machine Intelligence
Charles A Micchelli
Journal of Approximation Theory
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007