Filters








173 Hits in 6.1 sec

Optimizing the Layout of Proportional Symbol Maps: Polyhedra and Computation

Guilherme Kunigami, Pedro J. de Rezende, Cid C. de Souza, Tallys Yunes
2014 INFORMS journal on computing  
To the best of our knowledge, we are the first to use ILP to tackle this problem, and the first to provide provably optimal symbol maps for those data sets.  ...  As the name suggests, symbol sizes are proportional to the magnitude of the physical quantities that they represent.  ...  Acknowledgments The authors thank Marc van Kreveld for providing us with the data files used in Cabello et al. (2006 Cabello et al. ( , 2010 , and the referees for their helpful comments.  ... 
doi:10.1287/ijoc.2013.0557 fatcat:lzjniqjuejhe7jqupjmm34zkyu

Implicit Real Vector Automata

Bernard Boigelot, Julien Brusten, Jean-François Degbomont
2010 Electronic Proceedings in Theoretical Computer Science  
This paper addresses the symbolic representation of non-convex real polyhedra, i.e., sets of real vectors satisfying arbitrary Boolean combinations of linear constraints.  ...  The resulting formalism provides a canonical representation of polyhedra, is closed under Boolean operators, and admits an efficient decision procedure for testing the membership of a vector.  ...  Acknowledgement We wish to thank Jérôme Leroux for fruitful technical discussions about the data structure presented in this paper.  ... 
doi:10.4204/eptcs.39.5 fatcat:se5xto6ngbbmbfe5erdty3ereu

Plato's cube and the natural geometry of fragmentation [article]

Gábor Domokos, Douglas J. Jerolmack, Ferenc Kun, János Török
2020 arXiv   pre-print
The solar system is littered, however, with distorted polyhedra -- shards of rock and ice produced by ubiquitous fragmentation.  ...  We compute the universal pattern generator establishing this link, for 2D and 3D fragmentation.  ...  Acknowledgements The authors thank Zsolt Lángi for mathematical comments and Krisztián Halmos for his invaluable help with field data measurements. The authors are grateful to David J.  ... 
arXiv:1912.04628v2 fatcat:7r2l3or7rbh4flhxak4hcmu3ay

Geometric Intersection [chapter]

David Mount
2004 Handbook of Discrete and Computational Geometry, Second Edition  
Examples include geometric packing and covering, wire and component layout in VLSI, map overlay in geographic information systems, motion planning, and collision detection.  ...  Computing these predicates can be reduced to computing the sign of a polynomial, ideally of low degree. In many instances the polynomial arises as the determinant of a symbolic matrix.  ... 
doi:10.1201/9781420035315.ch38 fatcat:k3gkhwpsprdbtijs4k46y57lqu

Geometric Modeling of Sheet Deformation within a Virtual Environment

B.S. Mahal, D.E.R. Clark, J.E.L. Simmons
2001 International Journal of Virtual Reality  
The motion of the sheet is controlled by gravity and by using a mouse-pointing device to manipulate the sheet within the environment.  ...  In this paper we present a real-time, computationally inexpensive environment for on-screen, accurate simulations of thermoplastic sheet materials on a conventional Personal Computer.  ...  first and second polyhedra • When the sheet collides with the first Polyhedron.  ... 
doi:10.20870/ijvr.2001.5.1.2672 fatcat:xncjmlhei5cyboizbcneqwm72q

Projective geometry and the outer approximation algorithm for multiobjective linear programming [article]

Benjamin A. Burton, Melih Ozlen
2010 arXiv   pre-print
The key advantage of oriented projective geometry is that we can work with an "optimally simple" but unbounded efficiency-equivalent polyhedron, yet apply to it the familiar theory and algorithms that  ...  A key problem in multiobjective linear programming is to find the set of all efficient extreme points in objective space.  ...  Acknowledgements The first author is supported by the Australian Research Council under the Discovery Projects funding scheme (project DP1094516).  ... 
arXiv:1006.3085v1 fatcat:csjeaiv6h5dbrp7whnzr5b27fe

A technique to automatically determine Ad-hoc communication patterns at runtime

Ana Moreton-Fernandez, Arturo Gonzalez-Escribano, Diego R. Llanos
2017 Parallel Computing  
Our approach allows the automatic generation of pre-compiled multi-level parallel routines, libraries, or programs that can adapt their communication, synchronization, and optimization structures to the  ...  To properly exploit the scalability of HPC clusters, these techniques should take into account the combination of data communication across distributed memory, and the exploitation of sharedmemory models  ...  Action IC1305: Network for Sustainable Ultrascale Computing (NE-SUS), and by the computing facilities of Extremadura Research Centre for Advanced Technologies (CETA-CIEMAT), funded by the European Regional  ... 
doi:10.1016/j.parco.2017.08.009 fatcat:66usedjgaze4tjngawddcnfyxe

Reliable Distance and Intersection Computation Using Finite Precision Geometry [chapter]

Katja Bühler, Eva Dyllong, Wolfram Luther
2004 Lecture Notes in Computer Science  
We begin with a brief survey of geometric computing and approaches generally used in dealing with accuracy and robustness problems in finite precision geometry.  ...  The particular structure of (I)LIEs allows the construction of effective hierarchies of bounding volumes and the development of effective intersection tests for the enclosed object with rays, boxes and  ...  A point y and a non-convex polyhedron P . Fig. 9 . 9 Distance computation: the input file and program layout. Fig. 10 . 10 Sketch of the construction of LIEs.  ... 
doi:10.1007/978-3-540-24738-8_9 fatcat:y5in65einzcold45buufvilmey

Halide

Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Frédo Durand, Saman Amarasinghe
2013 Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13  
Image processing pipelines combine the challenges of stencil computations and stream programs.  ...  Because of their complex structure, the performance difference between a naive implementation of a pipeline and an optimized one is often an order of magnitude.  ...  Acknowledgments Eric Chan provided feedback and inspiration throughout the design of Halide, and helped compare our local Laplacian filters implementation to his in Camera Raw.  ... 
doi:10.1145/2491956.2462176 dblp:conf/pldi/Ragan-KelleyBAPDA13 fatcat:tr3fzvh5arbbbo4nn2iqpivdaa

Halide

Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Frédo Durand, Saman Amarasinghe
2013 SIGPLAN notices  
Image processing pipelines combine the challenges of stencil computations and stream programs.  ...  Because of their complex structure, the performance difference between a naive implementation of a pipeline and an optimized one is often an order of magnitude.  ...  Acknowledgments Eric Chan provided feedback and inspiration throughout the design of Halide, and helped compare our local Laplacian filters implementation to his in Camera Raw.  ... 
doi:10.1145/2499370.2462176 fatcat:afs2mud2unentdmcazyg2qhiqq

Chapter 7 A survey of computational geometry [chapter]

Joseph S.B. Mitchell, Subhash Suri
1995 Handbooks in Operations Research and Management Science  
Our goal is this paper is quite modest: we survey state of the art in some selected areas of computational geometry, with a strong bias towards problems with an optimization component.  ...  Mitchell and S. Suri incidences between a set of lines and a set of points, and counting the number of lines that bisect a set of points.  ...  to the cylindrical decomposition that is (symbolically) computed by the algorithm of Collins 67] .  ... 
doi:10.1016/s0927-0507(05)80124-0 fatcat:nogmdqmv6bflni3waox5dxrsiy

Representations and Techniques for 3D Object Recognition and Scene Interpretation

Derek Hoiem, Silvio Savarese
2011 Synthesis Lectures on Artificial Intelligence and Machine Learning  
This work was supported in part by the Office of Naval Research under N00014-01-1-0890 as part of the MURI program and Beckman Fellowship for Derek Hoiem.  ...  example, Kevin Murphy for creating the Bayes Net Toolbox, and Antonio Torralba for making the gist code available.  ...  In turn the confidence maps are used to compute new features that are used to re-rank the layouts. The final top ranked layout for this image is in (F).  ... 
doi:10.2200/s00370ed1v01y201107aim015 fatcat:762pgoqa5jhwlji7w4laoiu3ym

A new type of stone dome based on Abeille's bond

M. Brocato, L. Mondardini
2012 International Journal of Solids and Structures  
After the presentation of a parametric design procedure, we put forward a numerical model and propose a method to seek the optimal parameters.  ...  Examples are given of optimal choices of the design parameters.  ...  for Research and Technology (ANRT) of France.  ... 
doi:10.1016/j.ijsolstr.2012.03.036 fatcat:ql4upai5vfgybnwgv2pznysvfu

Symbolic and spatial database for structural biology

Dan Benson, Greg Zick
1991 Conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '91  
The requirements of this system encompass many of the popular justifications for the application of object-oriented technology, such as non-standard data types and complex composite data, but we also find  ...  We focus attention on the implementation of the spatial data, its representation, operations, indexing, and queries.  ...  We also wish to thank IBM for support provided through a Graduate Student Fellowship awarded to the first author, and the W. M. Keck Foundation for initial support of this research.  ... 
doi:10.1145/117954.117979 dblp:conf/oopsla/BensonZ91 fatcat:wz4j3qwgl5dldlnfvxf2vknaki

Some trade-offs in reducing the overhead of assertion run-time checks via static analysis

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2018 Science of Computer Programming  
Our experiments illustrate the benefits and costs of each of the assertion checking modes proposed, as well as the benefits obtained from analysis and the proposed transformations in these scenarios.  ...  However, these constructs and tools are often not used to their full extent in practice due to excessive run-time overhead, limited expressiveness, and/or limitations in the effectiveness of the tools.  ...  All files were compiled in the Safe-CT-RT checking mode. One can notice that sum of the compilation times of client and libraries is proportional to the compilation time of the 'monolithic' version.  ... 
doi:10.1016/j.scico.2017.12.006 fatcat:s3mauzq4dvhsnjuy6amzuerhq4
« Previous Showing results 1 — 15 out of 173 results