Analysis of flow and visibility on triangulated terrains
暂无分享,去创建一个
[1] Herbert Edelsbrunner,et al. Hierarchical Morse—Smale Complexes for Piecewise Linear 2-Manifolds , 2003, Discret. Comput. Geom..
[2] Damiano Bolzoni,et al. Revisiting Anomaly-based Network Intrusion Detection Systems , 2009 .
[3] Hui Gao,et al. Design and verification of lock-free parallel algorithms , 2005 .
[4] B. Gebremichael-Tesfagiorgis,et al. Expressivity of Timed Automata Models , 2006 .
[5] M. Llobera. Building Past Landscape Perception With GIS: Understanding Topographic Prominence , 2001 .
[6] Ncwm Niels Braspenning. Model-based integration and testing of high-tech multi-disciplinary systems , 2008 .
[7] Joseph S. B. Mitchell,et al. The Discrete Geodesic Problem , 1987, SIAM J. Comput..
[8] Jan Ketil Rød,et al. Visibility and Dominance Analysis: Assessing a High-Rise Building Project in Trondheim , 2009 .
[9] T. D. Vu,et al. Semantics and applications of process and program algebra , 2007 .
[10] Olga Tveretina,et al. A Decision Procedure for Equality Logic with Uninterpreted Functions , 2004, AISC.
[11] M. Costa-Cabral,et al. Digital Elevation Model Networks (DEMON): A model of flow over hillslopes for computation of contributing and dispersal areas , 1994 .
[12] T. Sly,et al. An application of Cumulative Viewshed Analysis to a medieval archaeological study: the beacon system of the Isle of Wight, United Kingdom , 2001 .
[13] Mark de Berg,et al. Exact and approximate computations of watersheds on triangulated terrains , 2011, GIS.
[14] Aad Mathssen,et al. Logical Calculi for Reasoning with Binding , 2008 .
[15] Frédéric Chazal,et al. Molecular shape analysis based upon the morse-smale complex and the connolly function , 2002, SCG '03.
[16] R.S.S. O'Connor,et al. Incompleteness & completeness : formalizing logic and analysis in type theory , 2005 .
[17] Peter F. Fisher,et al. Extending the applicability of viewsheds in landscape planning , 1996 .
[18] Nicholas J. Lea,et al. An Aspect-Driven Kinematic Routing Algorithm , 1992 .
[19] AJ Arjan Mooij,et al. Constructive formal methods and protocol standardization , 2006 .
[20] Jörg-Rüdiger Sack,et al. Shortest Anisotropic Paths on Terrains , 1999, ICALP.
[21] Marcel Verhoef,et al. Modeling and validating distributed embedded real-time control systems , 2009 .
[22] Jason Fritts,et al. Image Segmentation Using Topological Persistence , 2007, CAIP.
[23] J. Ketema,et al. Bohm-Like Trees for Rewriting , 2006 .
[24] Arjen van Weelden,et al. Putting Types To Good Use , 2007 .
[25] Marcin Czenko,et al. TuLiP : reshaping trust management , 2009 .
[26] D. Tarboton. A new method for the determination of flow directions and upslope areas in grid digital elevation models , 1997 .
[27] O. Palacios-Velez,et al. Automated river-course, ridge and basin delineation from digital elevation data , 1986 .
[28] Carsten Steger. Subpixel-precise extraction of watersheds , 1999, Proceedings of the Seventh IEEE International Conference on Computer Vision.
[29] Michael McAllister. A watershed algorithm for triangulated terrains , 1999, CCCG.
[30] David R. Maidment,et al. Developing a spatially distributed unit hydrograph by using GIS , 1993 .
[31] Marc J. van Kreveld,et al. On realistic terrains , 2006, SCG '06.
[32] J. K. Berendsen,et al. Abstraction, prices and probability in model checking timed automata , 2010 .
[33] J. Fairfield,et al. Drainage networks from grid digital elevation models , 1991 .
[34] Igor L. Markov,et al. Hypergraph Partitioning and Clustering , 2007, Handbook of Approximation Algorithms and Metaheuristics.
[35] P. Zoeteweij,et al. Composing constraint solvers , 2005 .
[36] Alessandro Sperduti,et al. Mining Structured Data , 2010, IEEE Computational Intelligence Magazine.
[37] Ivan Kurtev Ivanov,et al. Adaptability of model transformations , 2005 .
[38] R. Colombo,et al. Integration of remote sensing data and GIS for accurate mapping of flooded areas , 2002 .
[39] Tim K. Cocx,et al. Algorithmic tools for data-oriented law enforcement , 2009 .
[40] Luc Vincent,et al. Watersheds in Digital Spaces: An Efficient Algorithm Based on Immersion Simulations , 1991, IEEE Trans. Pattern Anal. Mach. Intell..
[41] Bastiaan Stephan Graaf,et al. Model-Driven Evolution of Software Architectures , 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).
[42] Ryan L. Saunders. Terrainosaurus: realistic terrain synthesis using genetic algorithms , 2007 .
[43] Robert M. Haralick,et al. Topographic classification of digital image intensity surfaces using generalized splines and the discrete cosine transformation , 1984, Comput. Vis. Graph. Image Process..
[44] M. T. de Berg,et al. Multi-functional geometric data structures , 2003 .
[45] S. Wechsler. Uncertainties associated with digital elevation models for hydrologic applications: a review , 2006 .
[46] Ichiro Hasuo,et al. Tracing Anonymity with Coalgebras , 2008 .
[47] M. G. van der Horst,et al. Scalable block processing algorithms , 2008 .
[48] Dmitri Jarnikov,et al. QoS framework for video streaming in home networks , 2007 .
[49] D. Mackay,et al. Extraction and representation of nested catchment areas from digital elevation models in lake‐dominated topography , 1998 .
[50] V. Sundramoorthy,et al. At Home in Service Discovery , 2006 .
[51] Christoph Stahl. Accumulated Surfaces & Least-Cost Paths: GIS Modeling for Autonomous Ground Vehicle (AGV) Navigation , 2005 .
[52] Mari Antonius Cornelis Dekker,et al. Flexible Access Control for Dynamic Collaborative Environments , 2009 .
[53] Christian Sohler,et al. Extreme Points Under Random Noise , 2004, ESA.
[54] B. J. Arnoldus,et al. An illumination of the template enigma : software code generation with templates , 2011 .
[55] Mark de Berg,et al. Realistic Input Models for Geometric Algorithms , 2002, Algorithmica.
[56] Jack Snoeyink,et al. Flooding Triangulated Terrain , 2004, SDH.
[57] Laura Brandán Briones,et al. Theories for Model-based Testing: Real-time and Coverage , 2007 .
[58] Jie Gao,et al. Topological Data Processing for Distributed Sensor Networks with Morse-Smale Decomposition , 2009, IEEE INFOCOM 2009.
[59] C. J. Boogerd,et al. Focusing Automatic Code Inspections , 2010 .
[60] Atze Dijkstra. Stepping through Haskell , 2000 .
[61] Boris Aronov,et al. The Complexity of Bisectors and Voronoi Diagrams on Realistic Terrains , 2008, ESA.
[62] Scw Bas Ploeger,et al. Improved verification methods for concurrent systems , 2009 .
[63] Yanjing Wang,et al. Epistemic Modelling and Protocol Dynamics , 2010 .
[64] Hasan Sözer,et al. Architecting Fault-Tolerant Software Systems , 2009 .
[65] de Ism Ivo Jong. Integration and test strategies for complex manufacturing machines , 2008 .
[66] John F. O'Callaghan,et al. The extraction of drainage networks from digital elevation data , 1984, Comput. Vis. Graph. Image Process..
[67] Mark de Berg,et al. Implicit flow routing on terrains with applications to surface networks and drainage structures , 2011, SODA '11.
[68] Andrew Danner,et al. Bridge detection in grid terrains and improved drainage enforcement , 2010, GIS '10.
[69] Siddhartha Chaudhuri,et al. Smoothed analysis of probabilistic roadmaps , 2009, Comput. Geom..
[70] J. Tison,et al. Geometry, bed topography and drainage system structure of the Haut Glacier d'Arolla, Switzerland , 1993 .
[71] Matt Duckham,et al. GIS: A Computing Perspective, 2nd Edition , 1995 .
[72] Friedhelm Meyer auf der Heide,et al. Smoothed Motion Complexity , 2003, ESA.
[73] Martijn van Veelen,et al. Considerations on modeling for early detection of abnormalities in locally autonomous distributed systems , 2007 .
[74] Eelco Dolstra,et al. The purely functional software deployment model , 2006 .
[75] R Ronald Ruimerman,et al. Modeling and remodeling in bone tissue , 2005 .
[76] Prosenjit Bose,et al. The Complexity of Rivers in Triangulated Terrains , 1996, CCCG.
[77] W E Higgins,et al. Interactive morphological watershed analysis for 3D medical images. , 1993, Computerized medical imaging and graphics : the official journal of the Computerized Medical Imaging Society.
[78] Mohammad Ali Abam. New data structures and algorithms for mobile data , 2007 .
[79] Ivan S. Zapreev. Model checking Markov chains : techniques and tools , 2008 .
[80] W. Bieniecki. Oversegmentation avoidance in watershed-based algorithms for color images , 2004, Proceedings of the International Conference Modern Problems of Radio Engineering, Telecommunications and Computer Science, 2004..
[81] Mark de Berg,et al. On levels of detail in terrains , 1995, SCG '95.
[82] David R. Maidment,et al. Watershed delineation with triangle-based terrain models , 1990 .
[83] E Elena Mumford,et al. Drawing graphs for cartographic applications , 2008 .
[84] Leila De Floriani,et al. Morse-Smale Decompositions for Modeling Terrain Knowledge , 2005, COSIT.
[85] Ana Sokolova,et al. Coalgebraic analysis of probabilistic systems , 2005 .
[86] J. Moore,et al. Changes in geometry and subglacial drainage of Midre Lovénbreen, Svalbard, determined from digital elevation models , 2003 .
[87] Alan K. Zundel,et al. Risk Analysis Using Spatial Data in Flood Damage Reduction Studies , 2004 .
[88] Erika Ábrahám,et al. An Assertional Proof System for Multithreaded Java - Theory and Tool Support , 2005 .
[89] K. Beven,et al. THE PREDICTION OF HILLSLOPE FLOW PATHS FOR DISTRIBUTED HYDROLOGICAL MODELLING USING DIGITAL TERRAIN MODELS , 1991 .
[90] Tomas Krilavicius,et al. Hybrid Techniques for Hybrid Systems , 2006 .
[91] Emmanuele Zambon,et al. Towards optimal IT availability planning: methods and tools , 2011 .