16510993
Rational quadratic approximation to real algebraic curves
An algorithm is proposed to give a global approximation to an implicit real plane algebraic curve with rational quadratic B-splines. The algorithm consists of three steps: curve segmentation, segment approximation and curve tracing. The curve is first divided into so-called triangle convex segments. Then each segment is approximated with several rational quadratic Bezier curves. At last, the curve segments are connected into several maximal branches and each branch is represented by a B-spline curve resulting in a C/sup 1/ global parameterization for the curve branch. Due to the detailed geometric analysis, high accuracy of approximation may be achieved with a small number of quadratic segments. The final approximation based on quadratic spline curves keeps many important geometric features and gives a refined topological structure of the original curve.
10855228
Generating Symbolic Interpolants for Scattered Data with Normal Vectors
Algorithms to generate a triangular or a quadrilateral interpolant with G1-continuity are given in this paper for arbitrary scattered data with associated normal vectors over a prescribed triangular or quadrilateral decomposition. The interpolants are constructed with a general method to generate surfaces from moving Bézier curves under geometric constraints. With the algorithm, we may obtain interpolants in complete symbolic parametric forms, leading to a fast computation of the interpolant. A dynamic interpolation solid modelling software package DISM is implemented based on the algorithm which can be used to generate and manipulate solid objects in an interactive way.
14317372
Construct piecewise Hermite interpolation surface with blending methods
Three methods are proposed to construct a piecewise Hermite interpolation surface (PHIS), which is a piecewise algebraic surface interpolating a set of given points with associated normal directions. The surface is obtained by blending together some low-degree surface patches. Both the first and the second methods are completely local and give a surface with G/sup n/-continuity. In the third construction, we reduce the number of surface patches by joining as many cubic patches as possible. This method gives a global solution with G/sup 1/-continuity. These three different methods can be used to meet different requirements of the designers.
32091631
K One-Way Heads Cannot Do String-Matching
We settle a conjecture raised by Z. Galil and J. Seiferas 14 years ago (J. Comput. System Sci.26(1983), 280?294):k-head one-way deterministic finite automata cannot perform string-machine (i.e., accept the language {x#y??u?vy=uxv}), for anyknonsensing heads.
32860736
Nonrigid motion recovery for 3D surfaces
We present a spline-based nonrigid motion and point correspondence recovery method for 3D surfaces. This method is based on differential geometry. Shape information is used to recover the point correspondences. In contrast to the majority of shape-based methods, which assume that shape (unit normal, curvature) changes are minimum after motion, our method focuses on the nonrigid relationship between before-motion and after-motion shapes. This nonrigid shape relationship is described by modeling the underlying nonrigid motion; we model it as a spline transformation, which has global control over the entire motion field along with the local deformation integrated within. This provides our method certain advantages over some pure differential geometric methods, which also utilize the nonrigid shape relationship but only work on local areas without a global control. For example, motion regularity is hard to implement in these pure differential geometric methods but is not a problem when the motion field is controlled by a spline transformation. The orthogonal parameterization requirement of the nonrigid shape relationship has to be approximated in these previous methods but is easy to meet in our method. Furthermore, the small deformation constraint introduced by the previous works is relaxed in our method. Experiments on both synthetic and real motions have been conducted. The quantitative and qualitative evaluations of our method are presented. The application of our method to the human tongue motion analysis is also presented in this paper.
33110840
A Level Set Approach for Shape Recovery of Open Contours
In this paper, a geometric deformable model for shape recovery of open contours in noisy images is presented. We use two level set functions to model the open contour and find the end points of the open contour as the intersection of the two level set functions. The evolutions of both level set functions do not depend on the gradient of the images, as in the classical geometric deformable models, but are decided by a region-based band velocity. The band velocity is different from region information introduced by other deformable models which can only be used to find the closed contours in images, it is designed for evolutions of both closed and open contours and particularly unique for contours which are open and do not enclose any region. Prior shape information is also integrated into the contour evolution process, which prevents two level set functions from intersecting at other places than at the contour end points. With the described method open contours can be recovered from noisy images. Successful experiments on several data sets are presented in this paper.
3605809
Performance evaluation for energy efficient topologic control in ad hoc wireless networks
Minimizing total energy to keep an ad hoc wireless network symmetrically connected is an NP-hard problem. Recently, several greedy approximations have been proposed, based on k-restricted decompositions of the network. Their performance ratios are established through estimations of the least upper bound ρk for the ratio between total powers of best possible k-restricted decomposition and the optimal solution. In this paper, we determine the exact value of ρk for all k.
14428056
Approximation algorithms for directed Steiner problems
We obtain the first non-trivial approximation algorithms for the Steiner Tree problem and the Generalized Steiner Tree problem in general directed graphs. Essentially no approximation algorithms were known for these problems. For the Directed Steiner Tree problem, we design a family of algorithms which achieve an approximation ratio of O(k^\epsilon) in time O(kn^{1/\epsilon}) for any fixed (\epsilon < 0), where k is the number of terminals to be connected. For the Directed Generalized Steiner Tree Problem, we give an algorithm which achieves an approximation ratio of O(k^{2/3}\log^{1/3} k), where k is the number of pairs to be connected. Related problems including the Group Steiner tree problem, the Node Weighted Steiner tree problem and several others can be reduced in an approximation preserving fashion to the problems we solve, giving the first non-trivial approximations to those as well.