Sciweavers

465 search results - page 20 / 93
» On the Hardness of Range Assignment Problems
Sort
View
SAT
2005
Springer
133views Hardware» more  SAT 2005»
15 years 5 months ago
Solving Over-Constrained Problems with SAT Technology
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
Josep Argelich, Felip Manyà
MFCS
2005
Springer
15 years 5 months ago
Tight Approximability Results for the Maximum Solution Equation Problem over Zp
In the maximum solution equation problem a collection of equations are given over some algebraic structure. The objective is to find an assignment to the variables in the equation...
Fredrik Kuivinen
JPDC
2008
161views more  JPDC 2008»
14 years 11 months ago
Base station placement on boundary of a convex polygon
Let P be a polygonal region which is forbidden for placing a base station in the context of mobile communication. Our objective is to place one base station at any point on the bo...
Sasanka Roy, Debabrata Bardhan, Sandip Das
PODS
2009
ACM
119views Database» more  PODS 2009»
16 years 10 days ago
Dynamic indexability and lower bounds for dynamic one-dimensional range query indexes
The B-tree is a fundamental external index structure that is widely used for answering one-dimensional range reporting queries. Given a set of N keys, a range query can be answere...
Ke Yi
CVPR
2005
IEEE
16 years 1 months ago
Automatic 3D to 2D Registration for the Photorealistic Rendering of Urban Scenes
This paper presents a novel and efficient algorithm for the 3D range to 2D image registration problem in urban scene settings. Our input is a set of unregistered 3D range scans an...
Lingyun Liu, Ioannis Stamos