1420 search results - page 202 / 284 » Decision Making Using Probabilistic Inference Methods |
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
We describe a SAT-solver, BerkMin, that inherits such features of GRASP, SATO, and Chaff as clause recording, fast BCP, restarts, and conflict clause “aging”. At the same time...
100
click to vote
SEAA
2008
IEEE
15 years 4 months ago
2008
IEEE
Non-functional requirements (NFRs) pose unique challenges in estimating the effort it would take to implement them. This is mainly because of their unique nature; NFRs are subject...
175
click to vote
CVPR
2012
IEEE
13 years 7 days ago
2012
IEEE
A large number of problems in computer vision can be modeled as energy minimization problems in a markov random field (MRF) framework. Many methods have been developed over the y...
112
click to vote
PODS
1998
ACM
15 years 2 months ago
1998
ACM
We consider the problem of estimating CPU (distance computations) and I/O costs for processing range and k-nearest neighbors queries over metric spaces. Unlike the specific case ...
115
click to vote
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
The bounding box representation employed by many popular object detection models [3, 6] implicitly assumes all pixels inside the box belong to the object. This assumption makes th...