An Error-Resilient Arithmetic Coding Algorithm for Compressed Meshes
The effort of on-the-fly accessing 3D contents over the Internet has been done in recent years. And 3D streaming has been investigated to represent 3D models in the compact format and progressively transmit them on the limited-bandwidth and lossy channel. In the paper, an error resilient 3D mesh coding algorithm is presented, which employs an extended multiple quantization (EMQ) arithmetic coder method, inspired by the error-resilient JPEG 2000 image coding standards. With periodic arithmetic coder restarting and termination markers, the error resilient EMQ coder divides bit stream into little independent parts and enables basic transmission error containment. Furthermore, the EMQ coder has the intrinsic capacity of handling noise by using the maximum a posteriori (MAP) decoder. Experiments show that the method improves the mesh transmission quality in a simulated network environment.

title: A Mesh Meaningful Segmentation Algorithm Using Skeleton and Minima-Rule
abstract: In this paper, a hierarchical shape decomposition algorithm is proposed, which integrates the advantages of skeleton-based and minima-rule-based meaningful segmentation algorithms. The method makes use of new geometrical and topological functions of skeleton to define initial cutting critical points, and then employs salient contours with negative minimal principal curvature values to determine natural final boundary curves among parts. And sufficient experiments have been carried out on many meshes, and shown that our framework can provide more reasonable perceptual results than single skeleton-based [8] or minima-rule-based [15] algorithm. In addition, our algorithm not only can divide a mesh of any genus into a collection of genus zero, but also partition level-of-detail meshes into similar parts.

title: A mass-spring model for surface mesh deformation based on shape matching
abstract: In this paper, we propose a mass-spring model based on shape matching for real-time deformable modeling in virtual reality systems. By defining a rigid core for surface mesh model and adding a new generalized spring for each mass, our surface mesh model can preserve its original geometric features such as volume and shape. Then, we use shape matching approaches to update the rigid core of the model dynamically so as to simulate global deformations. At last, we adopt an inverse dynamics technique to deal with the resulting deformations. We correct the non-real "super-elastic" effect for linear elastic models so that the visual reality is improved.

title: 2D shape deformation based on rigid square matching
abstract: In this paper, we propose a fast and stable method for 2D shape deformation based on rigid square matching. Our method utilizes uniform quadrangular control meshes for 2D shapes and tries to maintain the rigidity of each square in the control mesh during user manipulation. A rigid shape matching method is performed to find an optimal pure rotational transformation for each square in the control mesh. An iterative solver is proposed to compute the final deformation result for the entire control mesh by minimizing the difference between the deformed vertices and their counterparts in the neighboring rigid square. The deformation result on the 2D shape is as rigid as possible and the details of the shape are preserved well. As extensions, we present a shape-aware splitting method to improve the deformation effect for coarse meshes and a simple sketch-based clustering method for skeletal deformation. Experiments with various 2D shapes show that our method is efficient and easy to use, and can provide physically plausible result for shapes of objects in real world. Therefore, our shape deformation method is especially suitable for applications in cartoon character animation.

title: Dynamic harmonic fields for surface processing
abstract: Harmonic fields have been shown to provide effective guidance for a number of geometry processing problems. In this paper, we propose a method for fast updating of harmonic fields defined on polygonal meshes, enabling real-time insertion and deletion of constraints. Our approach utilizes the penalty method to enforce constraints in harmonic field computation. It maintains the symmetry of the Laplacian system and takes advantage of fast multi-rank updating and downdating of Cholesky factorization, achieving both speed and numerical stability. We demonstrate how the interactivity induced by fast harmonic field update can be utilized in several applications, including harmonic-guided quadrilateral remeshing, vector field design, interactive geometric detail modeling, and handle-driven shape editing and animation transfer with a dynamic handle set.

title: Non-rigid Registration in 3D Implicit Vector Space
abstract: We present an implicit approach for pair-wise non-rigid registration of moving and deforming objects. Shapes of interest are implicitly embedded in the 3D implicit vector space. In this implicit embedding space, registration is performed using a global-to-local framework. Firstly, a non-linear optimization functional defined on the vector distance function is used to find the global alignment between shapes. Secondly, an incremental cubic B-spline free form deformation is used to recover the non-rigid transformation parameters. Local non-rigid registration is posed in terms of minimising an energy functional, for which we give a closed-form linear system and solve it using an improved iterative Gauss-Seidel method. Our approach can consistently produce smooth and continuous registration fields, and correctly establish dense one-to-one correspondences. It can naturally deal with both open partial and closed shapes, and imperfect models with gaps and noise, through its use of the implicit vector representation. Experimental results on several datasets demonstrate the robustness of the proposed method.

title: Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile
abstract: Test-driven development (TDD) is a software development methodology for achieving high reliability. However, the practice of TDD at the integration level is rare. In this paper, we propose a test-driven component integration approach with the support of UML 2.0 Testing and Monitoring Profile (U2TMP) that is also proposed in this paper. In our approach, automated integration-level test cases are specified using U2TMP before writing the glue-code that integrates components. U2TMP enhances UML 2.0 diagrams for specifying how test scenarios should be set up and how the integrated components are expected to interact under these scenarios. Test cases written in U2TMP can be automatically transformed into test artifacts that setup the test environment, generate test stimuli, and monitor the component interactions at runtime. These test cases serve as a guideline for writing the glue-code and a regression test- bed. With this approach, the software developers may produce glue-code of high reliability.

title: Multiresolution Query Optimization in an Online Environment
abstract: Multiresolution (or multi-scale) techniques make it possible for Web-based GIS applications to access large dataset. The performance of such systems relies on data transmission over network and multiresolution query processing. In the literature the latter has received little research attention so far, and the existing methods are not capable of processing large dataset. In this paper, we aim to improve multiresolution query processing in an online environment. A cost model for such query is proposed first, followed by three strategies for its optimization. Significant theoretical improvement can be observed when comparing against available methods. Application of these strategies is also discussed, and similar performance enhancement can be expected if implemented in online GIS applications.

title: Multiresolution Spatial Databases: Making Web-Based Spatial Applications Faster
abstract: Spatial data has now been used extensively in the Web environment, providing online customized maps and supporting map-based applications. The full potential of Web-based spatial applications, however, has yet to be achieved due to performance issues related to the large sizes and high complexity of spatial data. In this paper, we introduce a multiresolution approach to spatial data management and query processing such that the database server can choose spatial data at the right resolution level for different Web applications. One highly desirable property of the proposed approach is that the server-side processing cost and network traffic can be reduced when the level of resolution required by applications are low. Another advantage is that our approach pushes complex multiresolution structures and algorithms into the spatial database engine. That is, the developer of spatial Web applications needs not to be concerned with such complexity. This paper explains the basic idea, technical feasibility and applications of multiresolution spatial databases.

title: GraphScape: integrated multivariate network visualization
abstract: In this paper, we introduce a new method, GraphScape, to visualize multivariate networks, i.e., graphs with multivariate data associated with their nodes. GraphScape adopts a landscape metaphor with network structure displayed on a 2D plane and the surface height in the third dimension represents node attribute. More than one attribute can be visualized simultaneously by using multiple surfaces. In addition, GraphScape can be easily combined with existing methods to further increase the total number of attributes visualized. One of the major goals of GraphScape is to reveal multivariate graph clustering, which is based on both network structure and node attributes. This is achieved by a new layout algorithm and an innovative way of constructing attribute surface, which also allows visual clustering at different scales through interaction. A simplified attribute surface model is also proposed to reduce computation requirement when visualizing large networks. GraphScape is applied to networks of three different size (20, 100, and 1500) to demonstrate its effectiveness.

title: Formally defining a graphical language for monitoring and checking object interactions
abstract: Monitoring and checking object interactions is an important activity for testing/debugging scenario implementation in an object-oriented system. In our previous work, we proposed behavior view diagrams (BVD) as a graphical language for writing programs that automate such monitoring and checking process. In this paper, we illustrate the formal definition of the syntax and the semantics of an extended version of BVD that can also be used to describe multi-threaded scenarios. This formal definition provides a critical foundation both for understanding the language and for building its tool support.