874 search results - page 87 / 175 » Computing Weighted Solutions in Answer Set Programming |
115
Voted
TALG
2008
15 years 1 months ago
2008
In the rectangle stabbing problem we are given a set of axis parallel rectangles and a set of horizontal and vertical lines, and our goal is to find a minimum size subset of lines...
110
Voted
FOCS
2008
IEEE
15 years 7 months ago
2008
IEEE
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...
219
click to vote
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
The continuous intersection join query is computationally expensive yet important for various applications on moving objects. No previous study has particularly addressed this que...
126
Voted
TSE
2010
14 years 7 months ago
2010
Search-based software engineering is an emerging paradigm that uses automated search algorithms to help designers iteratively find solutions to complicated design problems. For exa...
122
Voted
ICCV
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a comprehensive treatment of 3D object tracking by posing it as a nonlinear state estimation problem. The measurements are derived using the outputs of shape-encoded fi...