Sciweavers

378 search results - page 35 / 76
» Convergence of rank-type equations
Sort
View
86
Voted
GMP
2008
IEEE
141views Solid Modeling» more  GMP 2008»
14 years 10 months ago
Variational Skinning of an Ordered Set of Discrete 2D Balls
Abstract. This paper considers the problem of computing an interpolating skin of a ordered set of discrete 2D balls. By construction, the skin is constrained to be C1 continuous, a...
Gregory G. Slabaugh, Gozde B. Unal, Tong Fang, Jar...
RTA
2010
Springer
15 years 1 months ago
Computing Critical Pairs in 2-Dimensional Rewriting Systems
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...
Samuel Mimram
105
Voted
CADE
2007
Springer
15 years 9 months ago
Dependency Pairs for Rewriting with Non-free Constructors
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
Stephan Falke, Deepak Kapur
ICMCS
2005
IEEE
130views Multimedia» more  ICMCS 2005»
15 years 3 months ago
The photodynamic tool: generation of animation from a single texture image
This paper proposes a new animation editing method for creating animations from a single texture image. A standard warping method can not handle a physical motion effect because o...
Hidetomo Sakaino
59
Voted
MOC
1998
108views more  MOC 1998»
14 years 9 months ago
Numerical conformal mapping based on the generalised conjugation operator
Abstract. An iterative procedure for numerical conformal mapping is presented which imposes no restriction on the boundary complexity. The formulation involves two analytically equ...
Bao Cheng Li, Stavros Syngellakis