Sciweavers

3654 search results - page 304 / 731
» Narrative algorithm visualization
Sort
View
FM
2009
Springer
106views Formal Methods» more  FM 2009»
15 years 12 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
157
Voted
COMPGEOM
2007
ACM
15 years 9 months ago
Medial axis approximation from inner Voronoi balls: a demo of the Mesecina tool
We illustrate a simple algorithm for approximating the medial axis of a 2D shape with smooth boundary from a sample of this boundary. The algorithm is compared to a more general a...
Balint Miklos, Joachim Giesen, Mark Pauly
BMVC
1997
15 years 6 months ago
Robust Recursive Structure and Motion Recovery under Affine Projection
In this paper we present an algorithm for structure and motion (SM) recovery under affine projection from video sequences. The algorithm tracks the motion of a single structure, b...
Miroslav Trajkovic, Mark Hedley
182
Voted
ECCV
2004
Springer
16 years 7 months ago
Structure and Motion from Images of Smooth Textureless Objects
This paper addresses the problem of estimating the 3D shape of a smooth textureless solid from multiple images acquired under orthographic projection from unknown and unconstrained...
Yasutaka Furukawa, Amit Sethi, Jean Ponce, David J...
CVPR
2010
IEEE
16 years 1 months ago
Surface Extraction from Binary Volumes with Higher-Order Smoothness
A number of 3D shape reconstruction algorithms, in particular 3D image segmentation methods, produce their results in the form of binary volumes, where a binary value indicates whe...
Victor Lempitsky