Sciweavers

2593 search results - page 155 / 519
» constraints 2007
Sort
View
DAGSTUHL
2007
15 years 8 months ago
The Unique Games Conjecture with Entangled Provers is False
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...
Julia Kempe, Oded Regev, Ben Toner
IPCO
2007
140views Optimization» more  IPCO 2007»
15 years 8 months ago
Cuts for Conic Mixed-Integer Programming
A conic integer program is an integer programming problem with conic constraints. Conic integer programming has important applications in finance, engineering, statistical learnin...
Alper Atamtürk, Vishnu Narayanan
MVA
2007
165views Computer Vision» more  MVA 2007»
15 years 8 months ago
Self-Calibration for Metric 3D Reconstruction Using Homography
In this paper, our goal is to reconstruct metric 3D models for large structures (or other 3D objects) from uncalibrated images. The internal camera parameters are estimated by usi...
Cheng-Yuan Tang, Yi-Leh Wu, Pei-Ching Hu, Hsien-Ch...
ACL
2006
15 years 8 months ago
Highly Constrained Unification Grammars
Unification grammars are widely accepted as an expressive means for describing the structure of natural languages. In general, the recognition problem is undecidable for unificati...
Daniel Feinstein, Shuly Wintner
EMNLP
2006
15 years 8 months ago
Incremental Integer Linear Programming for Non-projective Dependency Parsing
Integer Linear Programming has recently been used for decoding in a number of probabilistic models in order to enforce global constraints. However, in certain applications, such a...
Sebastian Riedel, James Clarke