2662 search results - page 401 / 533 » Tools Demonstrations |
136
Voted
TOMS
2010
15 years 3 months ago
2010
The Tutte polynomial of a graph, also known as the partition function of the q-state Potts model, is a 2-variable polynomial graph invariant of considerable importance in both comb...
138
click to vote
TSE
2010
15 years 3 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
156
click to vote
TVCG
2010
15 years 3 months ago
2010
—Crease surfaces are two-dimensional manifolds along which a scalar field assumes a local maximum (ridge) or a local minimum (valley) in a constrained space. Unlike isosurfaces, ...
150
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
When comparing 2D shapes, a key issue is their normalization. Translation and scale are easily taken care of by removing the mean and normalizing the energy. However, defining and...
155
Voted
IMC
2010
ACM
15 years 2 months ago
2010
ACM
This paper presents a network layer Internet topology collection tool called tracenet. Compared to traceroute, tracenet can collect a more complete topology information on an end-...