9532 search results - page 1739 / 1907 » Logic, Graphs, and Algorithms |
140
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 ...
172
click to vote
SOSP
2009
ACM
16 years 1 months ago
2009
ACM
Data-intensive applications are increasingly designed to execute on large computing clusters. Grouped aggregation is a core primitive of many distributed programming models, and i...
133
Voted
CVPR
2010
IEEE
16 years 27 days ago
2010
IEEE
Many applications need to segment out all small round
regions in an image. This task of finding dots can be viewed
as a region segmentation problem where the dots form one
regio...
122
click to vote
CVPR
2010
IEEE
16 years 23 days ago
2010
IEEE
We present an automatic method that establishes 3D correspondence between isometric shapes. Our goal is to find an optimal correspondence between two given (nearly) isometric sha...
175
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
The Semantic Web community, until now, has used traditional database systems for the storage and querying of RDF data. The SPARQL query language also closely follows SQL syntax. A...