3185620
A simple algorithm for homeomorphic surface reconstruction
Abstract 1 Introduction The problem of computing a piecewise linear approximation to a surface from a set of sam- ple points on the surface has been a focus of research in solid modeling and graphics due to its many applications. The input to this sur- face reconstruction problem consists of the three dimensional coordinates of the sampled points. The crust algorithm of [1] reconstructs a surface with topological and geometric guarantees using the Voronoi diagram of the input point set. We present new observations that simplify both the algorithm and the proofs for the crust, and we give for the first time a proof that the crust is homeomorphic to the input surface. *Dept. of Computer Science, U. of Texas, Austin TX 78712. e-mail: amenta@cs.utexas.edu tDept, of Computer Science, U. of Texas, Austin, TX 78712. e-mail: sunghee@cs.utexas.edu SDept. of Computer and Information Science, Ohio State U., Columbus, OH 43210. e-mail: t amaldey¢ci s. ohio-state, edu §Dept. of Computer and Information Science, Ohio State U., Columbus, OH 43210. e-mail: leekha@cis, ohio-state, edu
47222760
A Simple Algorithm for Homeomorphic Surface Reconstruction
The problem of computing a piecewise linear approximation to a surface from a set of sample points is important in solid modeling, computer graphics and computer vision. A recent algorithm1 using the Voronoi diagram of the sample points gave a guarantee on the distance of the output surface from the original sampled surface assuming that the sample was sufficiently dense. We give a similar algorithm, simplifying the computation and the proof of the geometric guarantee. In addition, we guarantee that our output surface is homeomorphic to the original surface; to our knowledge this is the first such topological guarantee for this problem.
9347832
Proxy location problems and their generalizations
In this paper we suggest a new angle to look on proxy location problems. We view the proxy as a service and generalize the problem of optimally placing proxies to optimally placing any service in the network. We differentiate between two cases: transparent services, such as transparent caches (TERCs), and non-transparent services where the end stations, such as hosts using a cache, need to be configured with respect to the service locations. This formulation enables us to study in a unified framework the location problems related to active networks, overlay peer-to-peer networks, as well as, CDNs and caching. For both cases we formalize the problem of optimally placing network servers and introduce approximation algorithms. We present simulation results of approximations and heuristics. We also present an optimal solution for the location problem for a special topology. We show, through a series of examples, that our approach can be applied to a variety of different services.
2658837
A general framework for prefetch scheduling in linked data structures and its application to multi-chain prefetching
Pointer-chasing applications tend to traverse composite data structures consisting of multiple independent pointer chains. While the traversal of any single pointer chain leads to the serialization of memory operations, the traversal of independent pointer chains provides a source of memory parallelism. This article investigates exploiting such interchain memory parallelism for the purpose of memory latency tolerance, using a technique called multi--chain prefetching. Previous works [Roth et al. 1998;Roth and Sohi 1999] have proposed prefetching simple pointer-based structures in a multi--chain fashion. However, our work enables multi--chain prefetching for arbitrary data structures composed of lists, trees, and arrays.This article makes five contributions in the context of multi--chain prefetching. First, we introduce a framework for compactly describing linked data structure (LDS) traversals, providing the data layout and traversal code work information necessary for prefetching. Second, we present an off-line scheduling algorithm for computing a prefetch schedule from the LDS descriptors that overlaps serialized cache misses across separate pointer-chain traversals. Our analysis focuses on static traversals. We also propose using speculation to identify independent pointer chains in dynamic traversals. Third, we propose a hardware prefetch engine that traverses pointer-based data structures and overlaps multiple pointer chains according to the computed prefetch schedule. Fourth, we present a compiler that extracts LDS descriptors via static analysis of the application source code, thus automating multi--chain prefetching. Finally, we conduct an experimental evaluation of compiler-instrumented multi--chain prefetching and compare it against jump pointer prefetching [Luk and Mowry 1996], prefetch arrays [Karlsson et al. 2000], and predictor-directed stream buffers (PSB) [Sherwood et al. 2000].Our results show compiler-instrumented multi--chain prefetching improves execution time by 40% across six pointer-chasing kernels from the Olden benchmark suite [Rogers et al. 1995], and by 3% across four SPECint2000 benchmarks. Compared to jump pointer prefetching and prefetch arrays, multi--chain prefetching achieves 34% and 11% higher performance for the selected Olden and SPECint2000 benchmarks, respectively. Compared to PSB, multi--chain prefetching achieves 27% higher performance for the selected Olden benchmarks, but PSB outperforms multi--chain prefetching by 0.2% for the selected SPECint2000 benchmarks. An ideal PSB with an infinite Markov predictor achieves comparable performance to multi--chain prefetching, coming within 6% across all benchmarks. Finally, speculation can enable multi--chain prefetching for some dynamic traversal codes, but our technique loses its effectiveness when the pointer-chain traversal order is highly dynamic.
14838232
Towards Semantic Goal-Directed Forward Reasoning in Resolution
Semantic goal-directed forward reasoning is a three stage procedure. In the first stage a reference set of models is generated from the negated theorem. In the second stage the assumption clause set is refined to a set which has an as small set of models as possible in common with the negated theorem with respect to the reference set of models. In the last stage a refutation is generated in the space consisting of the original problem along with the refined assumption. In order to form a refined assumption, unlike traditional approaches like set of support, only clauses from assumptions are resolved with each other.
13605710
Portable Haptic Display for Large Immersive Virtual Environments
This paper introduces Portable Haptic Display (PHD), a novel platform-independent haptic rendering system that can be conveniently integrated into a large immersive virtual environment while maximizing the individual reusability of haptic interfaces and visual displays. The PHD has an architecture of distributed rendering where two computers (or clusters of computers) are in charge of all computations needed for rendering with corresponding displays and share necessary information via network. We report the architecture, implementation details, and performance evaluation results of the PHD in this paper. The PHD is especially useful in places that have multiple haptic interfaces and large immersive visual displays and that need to use them together as well as individually, such as research laboratories, companies, and hospitals.
46325531
A utility range-based interactive group support system for multiattribute decision making
Abstract This research suggests an interactive procedure for solving a multiattribute group decision problem using a range-typed utility information, and develops an interactive group support system (RINGS) to implement some capabilities of the procedure. It is often difficult for group members to articulate their preferences with cardinal values, instead they prefer to give incomplete information only. Utility ranges are obtained by solving linear programming problems with incompletely specified information. RINGS finds out conflicting opinions among group members, compares each member's preferences with the others’, and suggests a direction for consensus seeking. The procedure of RINGS utilizes range-typed visual information, which helps the group reach a consensus. RINGS has several facilities like graphic user interface, model base, and database, so the total time to reach a group consensus is reduced. The evaluation of information systems is illustrated as a demonstration of some capabilities of RINGS. Scope and purpose This paper deals with the multiple attribute decision-making problem using a separable linear programming technique when group decision makers give only their incomplete information about the attribute weight and alternative value. The utility range for individual decision maker is calculated from each decision maker's incomplete information, and the utility range for group decision makers is obtained from those of individual decision makers. An interactive procedure for establishing a group's pairwise dominance relations with a group's utility range is described, and an interactive group support system (RINGS) is developed to implement the procedure. A case study about the evaluation of information systems is illustrated as a demonstration of some capabilities of RINGS.