2398 search results - page 267 / 480 » Constraint Programming and Graph Algorithms |
144
click to vote
APVIS
2008
15 years 7 months ago
2008
We present the Zoomable Adjacency Matrix Explorer (ZAME), a visualization tool for exploring graphs at a scale of millions of nodes and edges. ZAME is based on an adjacency matrix...
172
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— Max-product belief propagation is a local, iterative algorithm to find the mode/MAP estimate of a probability distribution. While it has been successfully employed in a wide v...
158
click to vote
SCAM
2008
IEEE
16 years 24 days ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
187
click to vote
HIPC
2005
Springer
15 years 12 months ago
2005
Springer
Graph theoretic problems are representative of fundamental computations in traditional and emerging scientific disciplines like scientific computing, computational biology and b...
176
click to vote
GD
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. As graphics processors become powerful, ubiquitous and easier to program, they have also become more amenable to general purpose high-performance computing, including the...