Sciweavers

218 search results - page 22 / 44
» Local Properties of Triangular Graphs
Sort
View
VC
2002
215views more  VC 2002»
15 years 5 months ago
Acquiring, stitching and blending diffuse appearance attributes on 3D models
A new system for the construction of highly realistic models of real free-form 3D objects is proposed, based on the integration of several techniques (automatic 3D scanning, inver...
Claudio Rocchini, Paolo Cignoni, Claudio Montani, ...
IM
2008
15 years 5 months ago
Fast and Efficient Restricted Delaunay Triangulation in Random Geometric Graphs
Let G = G(n, r) be a random geometric graph resulting from placing n nodes uniformly at random in the unit square (disk) and connecting every two nodes if and only if their Euclide...
Chen Avin
ESOP
2004
Springer
15 years 11 months ago
Canonical Graph Shapes
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
Arend Rensink
IFIP
2009
Springer
15 years 3 months ago
A User Interface for a Game-Based Protocol Verification Tool
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
Peeter Laud, Ilja Tsahhirov
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 6 months ago
Termination Detection of Local Computations
Contrary to the sequential world, the processes involved in a distributed system do not necessarily know when a computation is globally finished. This paper investigates the proble...
Emmanuel Godard, Yves Métivier, Gerard Tel