9119 search results - page 1445 / 1824 » A Simultaneous Search Problem |
123
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
Clustering (or partitioning) is a crucial step between logic synthesis and physical design in the layout of a large scale design. A design verified at the logic synthesis level m...
144
click to vote
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
178
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Detecting objects in cluttered scenes and estimating articulated human body parts are two challenging problems in computer vision. The difficulty is particularly pronounced in ac...
158
click to vote
CVPR
2010
IEEE
16 years 23 days ago
2010
IEEE
In this paper, we propose a high-order graph matching formulation to address non-rigid surface matching. The singleton terms capture the geometric and appearance similarities (e.g...
125
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Our study addresses the problem of large-scale contradiction detection and management, from data extracted from the Web. We describe the first systematic solution to the problem,...