Search results for "Sweep-line"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Somsak Vanit-Anunchai, Jonathan Billington, Guy Edward Gallasch	Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Sweep-line, Coloured Petri Nets, State explosion, State space methods, DCCP
82	Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen	Checking safety properties on-the-fly with the sweep-line method.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Sweep-line method, On-the-fly model checking, Datagram Congestion Control Protocol
82	Guy Edward Gallasch, Bing Han, Jonathan Billington	Sweep-Line Analysis of TCP Connection Management.	ICFEM	2005	DBLP DOI BibTeX RDF	TCP Connection Management, Sweep-line analysis, Verification, Coloured Petri Nets, Reachability analysis, State Space methods
81	Lars Michael Kristensen, Thomas Mailund	A Generalised Sweep-Line Method for Safety Properties.	FME	2002	DBLP DOI BibTeX RDF	explicit state space exploration methods, state space reduction methods, practical use and tool support, reachability analysis, theoretical foundations
70	Thomas Mailund, Michael Westergaard	Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method.	TACAS	2004	DBLP DOI BibTeX RDF	memory efficient state representation, the sweep-line method, Verification, state space reduction, state space methods
57	Lars Michael Kristensen, Thomas Mailund	Efficient Path Finding with the Sweep-Line Method Using External Storage.	ICFEM	2003	DBLP DOI BibTeX RDF
57	Thomas Mailund	Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method.	ICATPN	2002	DBLP DOI BibTeX RDF	Timed Coloured Petri Nets, Infinite-State Systems, State Space Analysis, Reduction Techniques
46	Jibin Yin, Xiangshi Ren	Investigation to Line-Based Techniques for Multi-target Selection.	INTERACT (2)	2007	DBLP DOI BibTeX RDF	multi-target selection, pen-based interface, pressure
45	Karsten Schmidt 0004	Automated generation of a progress measure for the sweep-line method.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Explicit state space verification, Line method, Petri nets, Sweep
45	Lars Michael Kristensen, Thomas Mailund	A Compositional Sweep-Line State Space Exploration Method.	FORTE	2002	DBLP DOI BibTeX RDF
37	Arno Eigenwillig, Lutz Kettner, Elmar Schömer, Nicola Wolpert	Complete, exact, and efficient computations with cubic curves.	SCG	2004	DBLP DOI BibTeX RDF	sweep-line algorithm, computational geometry, robustness, arrangements, algebraic curves, exact geometric computation
34	Mashhood Ishaque, Csaba D. Tóth	Relative Convex Hulls in Semi-dynamic Subdivisions.	ESA	2008	DBLP DOI BibTeX RDF
34	Adrian Dumitrescu, Minghui Jiang 0001	Sweeping Points.	APPROX-RANDOM	2008	DBLP DOI BibTeX RDF
33	Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund	Exploiting equivalence reduction and the sweep-line method for detecting terminal states.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
33	Karsten Schmidt 0004	Automated Generation of a Progress Measure for the Sweep-Line Method.	TACAS	2004	DBLP DOI BibTeX RDF
27	Christos Levcopoulos, Andrzej Lingas, Cao Wang	On Parallel Complexity of Planar Triangulations.	FSTTCS	1995	DBLP DOI BibTeX RDF
26	Ulrike Bartuschka, Kurt Mehlhorn, Stefan Näher	A Robust and Efficient Implementation of a Sweep Line Algorithm for the Straight Line Segment Intersection Problem.	WAE	1997	DBLP BibTeX RDF
24	Steven Gordon, Lars Michael Kristensen, Jonathan Billington	Verification of a Revised WAP Wireless Transaction Protocol.	ICATPN	2002	DBLP DOI BibTeX RDF
24	Edward P. F. Chan, Jimmy N. H. Ng	A General and Efficient Implementation of Geometric Operators and Predicates.	SSD	1997	DBLP DOI BibTeX RDF
21	Si Wei Feng, Teng Guo, Jingjin Yu	Optimal Allocation of Many Robot Guards for Sweep-Line Coverage.	CoRR	2023	DBLP DOI BibTeX RDF
21	Si Wei Feng, Teng Guo, Jingjin Yu	Optimal Allocation of Many Robot Guards for Sweep-Line Coverage.	ICRA	2023	DBLP DOI BibTeX RDF
21	Chang-Hung Wu, Che-Rung Lee	Multi-Sweep-Line Algorithm for Rectangle Union on GPU and Its Application for VLSI Density Calculation.	HPEC	2023	DBLP DOI BibTeX RDF
21	Tsz Nam Chan, Leong Hou U, Byron Choi, Jianliang Xu	SLAM: Efficient Sweep Line Algorithms for Kernel Density Visualization.	SIGMOD Conference	2022	DBLP DOI BibTeX RDF
21	Roger Frye, Mark McKenney	Per segment plane sweep line segment intersection on the GPU.	SIGSPATIAL/GIS	2022	DBLP DOI BibTeX RDF
21	Alejandro Rodríguez 0006, Lars Michael Kristensen, Adrian Rutle	Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms.	Trans. Petri Nets Other Model. Concurr.	2021	DBLP DOI BibTeX RDF
21	Tilemachos Pechlivanoglou, Mahmoud Alsaeed, Manos Papagelis	MRSweep: Distributed In-Memory Sweep-line for Scalable Object Intersection Problems.	DSAA	2020	DBLP DOI BibTeX RDF
21	Alejandro Rodríguez 0006, Lars Michael Kristensen, Adrian Rutle	On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21		Sweep Line Algorithm.	Encyclopedia of GIS	2017	DBLP DOI BibTeX RDF
21	Andreas Lilleskare, Lars Michael Kristensen, Sven-Olai Høyland	CTL Model Checking with the Sweep-line State Space Exploration Method.	NIK	2017	DBLP BibTeX RDF
21	Sin-Yu Wei, Bing-Yang Lin, Cheng-Wen Wu	A fast sweep-line-based failure pattern extractor for memory diagnosis.	ETS	2016	DBLP DOI BibTeX RDF
21	Xin Yu, John Y. Hung	Coverage path planning based on a multiple sweep line decomposition.	IECON	2015	DBLP DOI BibTeX RDF
21	Sami Evangelista, Lars Michael Kristensen	A Sweep-Line Method for Büchi Automata-based Model Checking.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
21	Victor Alvarez 0001, Karl Bringmann, Saurabh Ray	A Simple Sweep Line Algorithm for Counting Triangulations and Pseudo-triangulations.	CoRR	2013	DBLP BibTeX RDF
21	Cháulio Ferreira, Marcus V. A. Andrade, Salles V. G. Magalhães, W. Randolph Franklin, Guilherme C. Pena	A Parallel Sweep Line Algorithm for Visibility Computation.	GEOINFO	2013	DBLP BibTeX RDF
21	Jiechen Wang, Can Cui 0001, Jay Gao	An efficient algorithm for clipping operation based on trapezoidal meshes and sweep-line technique.	Adv. Eng. Softw.	2012	DBLP DOI BibTeX RDF
21	Kurt Jensen, Lars Michael Kristensen, Thomas Mailund	The sweep-line state space exploration method.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
21	Sami Evangelista, Lars Michael Kristensen	Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method.	Petri Nets	2012	DBLP DOI BibTeX RDF
21	Sami Evangelista, Lars Michael Kristensen	Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue.	SPIN	2012	DBLP DOI BibTeX RDF
21	Robert Prüfer	On Optimizing the Sweep-Line Method.	AWPN	2010	DBLP BibTeX RDF
21	Krista Rizman Zalik, Borut Zalik	A sweep-line algorithm for spatial clustering.	Adv. Eng. Softw.	2009	DBLP DOI BibTeX RDF
21	Mika Murtojärvi, Ville Leppänen, Olli Nevalainen	Determining directional distances between points and shorelines using sweep line technique.	Int. J. Geogr. Inf. Sci.	2009	DBLP BibTeX RDF
21		Sweep Line Algorithm.	Encyclopedia of GIS	2008	DBLP DOI BibTeX RDF
21	Vid Domiter, Borut Zalik	Sweep-line algorithm for constrained Delaunay triangulation.	Int. J. Geogr. Inf. Sci.	2008	DBLP DOI BibTeX RDF
21	Adrian Dumitrescu, Csaba D. Tóth	Analysis of two Sweep-line Algorithms for Constructing Spanning Trees and Steiner Trees.	J. Univers. Comput. Sci.	2007	DBLP DOI BibTeX RDF
21	David Podgorelec, Gregor Klajnsek	Acceleration of sweep-line technique by employing smart quicksort.	Inf. Sci.	2005	DBLP DOI BibTeX RDF
21	Borut Zalik	An efficient sweep-line Delaunay triangulation algorithm.	Comput. Aided Des.	2005	DBLP DOI BibTeX RDF
21	João Dinis, Margarida Mamede	A sweep line algorithm for nearest neighbour queries.	CCCG	2002	DBLP BibTeX RDF
21	Søren Christensen, Lars Michael Kristensen, Thomas Mailund	A Sweep-Line Method for State Space Exploration.	TACAS	2001	DBLP DOI BibTeX RDF
21	Deborah S. Franzblau	Performance Guarantees on a Sweep-Line Heuristic for Covering Rectilinear Polygons with Rectangles.	SIAM J. Discret. Math.	1989	DBLP DOI BibTeX RDF
12	Kuan-Yu Chen, Ping-Hui Hsu, Kun-Mao Chao	Approximate Matching for Run-Length Encoded Strings Is 3sum-Hard.	CPM	2009	DBLP DOI BibTeX RDF	3sum, wildcard matching, k-mismatches, alignment, run-length encoding
12	Arno Eigenwillig, Michael Kerber	Exact and efficient 2D-arrangements of arbitrary algebraic curves.	SODA	2008	DBLP BibTeX RDF
12	Brice Mitchell, Lars Michael Kristensen, Lin Zhang	Formal specification and state space analysis of an operational planning process.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Design and analysis of business processes, Business process modelling, Coloured petri nets
12	Ole Schulz-Trieglaff, Rene Hussong, Clemens Gröpl, Andreas Hildebrandt 0001, Knut Reinert	A Fast and Accurate Algorithm for the Quantification of Peptides from Mass Spectrometry Data.	RECOMB	2007	DBLP DOI BibTeX RDF
12	Eric Berberich, Efi Fogel, Dan Halperin, Kurt Mehlhorn, Ron Wein	Sweeping and Maintaining Two-Dimensional Arrangements on Surfaces: A First Step.	ESA	2007	DBLP DOI BibTeX RDF
12	Vijay Gehlot, Anush Hayrapetyan	Systems modeling and analysis using colored Petri Nets: a tutorial introduction and practical applications.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF
12	Charles A. Lakos, Lars Michael Kristensen	State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method.	ATVA	2005	DBLP DOI BibTeX RDF
12	Nicola Wolpert	Jacobi Curves: Computing the Exact Topology of Arrangements of Non-singular Algebraic Curves.	ESA	2003	DBLP DOI BibTeX RDF
12	Hai Zhou 0001, Narendra V. Shenoy, William Nicholls	Efficient minimum spanning tree construction without Delaunay triangulation.	ASP-DAC	2001	DBLP DOI BibTeX RDF