920 search results - page 95 / 184 » Generating Satisfiable Problem Instances |
104
Voted
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper proposes a technique for estimating piecewise planar models of objects from their images and geometric constraints. First, assuming a bounded noise in the localization ...
122
Voted
ICDE
2010
IEEE
16 years 13 days ago
2010
IEEE
Uncertain data are inherent in many applications such as environmental surveillance and quantitative economics research. As an important problem in many applications, KNN query has...
84
Voted
SAT
2004
Springer
15 years 6 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
92
Voted
AI
2003
Springer
15 years 6 months ago
2003
Springer
The multi-processor total tardiness problem (MPTTP) is an ÆÈ-hard scheduling problem, in which the goal is to minimise the tardiness of a set of jobs that are processed on a numb...
135
click to vote
GIS
1995
ACM
15 years 4 months ago
1995
ACM
: Usually spatial planning problems involve a large number of decision makers with different backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...