Sciweavers

4581 search results - page 208 / 917
» Computing Transformation Semigroups
Sort
View
BIRTHDAY
2008
Springer
15 years 8 months ago
Graph-Based Design and Analysis of Dynamic Software Architectures
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi...
IMAMS
2003
114views Mathematics» more  IMAMS 2003»
15 years 8 months ago
Parameterizing N-Holed Tori
We define a parameterization for an n-holed tori based on the hyperbolic polygon. We model the domain using a manifold with 2n+ 2 charts, and linear fractional transformations for...
Cindy Grimm, John F. Hughes
ICDCS
2010
IEEE
15 years 5 months ago
Fault-Containing Self-Stabilization in Asynchronous Systems with Constant Fault-Gap
This paper presents a new transformation which adds fault-containment properties to any silent self-stabilizing protocol. The transformation features a constant slow-down factor a...
Sven Köhler, Volker Turau
ICCV
2009
IEEE
16 years 11 months ago
Filter Flow
The filter flow problem is to compute a space-variant linear filter that transforms one image into another. This framework encompasses a broad range of transformations including...
Steven M. Seitz, Simon Baker
ICIP
2006
IEEE
16 years 8 months ago
Symmetric Shape Completion Under Severe Occlusions
In this paper, we propose a novel algorithm for completing rotationally symmetrical shapes under severe occlusions. The intuitive idea is to use the existing contour, under a care...
M. Vijay Venkatesh, Sen-Ching S. Cheung