Abstract
In this paper we describe the LIETree, a new data structure for verified spatial decomposition of implicit objects. The LIETree is capable of utilizing implicit linear interval estimations for calculating a verified enclosure of the implicit function’s codomain. Furthermore, it uses consistency techniques to tighten the object enclosure. Overall, it delivers improved accuracy and uses fewer nodes than common uniform subdivision schemes using interval or affine arithmetic for enclosure.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alefeld, G., Herzberger, J.: Introduction to interval computations. Academic Press, New York (1983)
BĂĽhler, K.: Implicit linear interval estimations. In: Proceedings of the 18th Spring Conference on Computer Graphics, p. 132. ACM, New York (2002)
Chakraborty, N., Peng, J., Akella, S., Mitchell, J.E.: Proximity queries between convex objects: An interior point approach for implicit surfaces. IEEE Transactions on Robotics 24(1), 211–220 (2008)
Cuypers, R., Kiel, S., Luther, W.: Automatic femur decomposition, reconstruction and refinement using superquadric shapes. In: Proceedings of the IASTED International Conference, vol. 663, p. 59 (2009)
Dyllong, E., Grimm, C.: A modified reliable distance algorithm for octree-encoded Ojects. PAMM 7(1), 4010015–4010016 (2007)
Dyllong, E., Grimm, C.: Verified adaptive octree representations of constructive solid geometry objects. In: Simulation und Visualisierung, pp. 223–235. Citeseer (2007)
de Figueiredo, L., Stolfi, J.: Self-validated numerical methods and applications. IMPA, Rio de Janeiro (1997)
Fryazinov, O., Pasko, A., Comninos, P.: Fast reliable interrogation of procedurally defined implicit surfaces using extended revised affine arithmetic. Computers & Graphics (2010) (in Press) (Corrected Proof), http://www.sciencedirect.com/science/article/B6TYG-50KC6R9-1/2/41965886a337f58408f2fdf8b1d2d4bc
Gay, O., Coeurjolly, D., Hurst, N.J.: libaffa webpage. online
Hansen, E., Walster, G.W.: Global optimization using interval analysis. Marcel Dekker, New York (2004)
Klatte, R.: C-XSC: A C++ class library for extended scientific computing. Springer-Verlag New York, Inc., Secaucus (1993); translator-Corliss, G. F
Messine, F., Touhami, A.: A general reliable quadratic form: An extension of affine arithmetic. Reliable Computing 12, 171–192 (2006), http://dx.doi.org/10.1007/s11155-006-7217-4 , doi:10.1007/s11155-006-7217-4
Samet, H.: Foundations of multidimensional and metric data structures. Morgan Kaufmann, San Francisco (2006)
Shapiro, V.: Theory of R-functions and applications: A primer (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kiel, S. (2012). Verified Spatial Subdivision of Implicit Objects Using Implicit Linear Interval Estimations. In: Boissonnat, JD., et al. Curves and Surfaces. Curves and Surfaces 2010. Lecture Notes in Computer Science, vol 6920. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27413-8_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-27413-8_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27412-1
Online ISBN: 978-3-642-27413-8
eBook Packages: Computer ScienceComputer Science (R0)