Sciweavers

676 search results - page 88 / 136
» A Search-Free Intersection Algorithm
Sort
View
122
Voted
SWAT
1998
Springer
110views Algorithms» more  SWAT 1998»
15 years 4 months ago
On the Number of Regular Vertices of the Union of Jordan Regions
Let C be a collection of n Jordan regions in the plane in general position, such that each pair of their boundaries intersect in at most s points, where s is a constant. Let U den...
Boris Aronov, Alon Efrat, Dan Halperin, Micha Shar...
108
Voted
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
15 years 7 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
97
Voted
EUROCAST
2007
Springer
102views Hardware» more  EUROCAST 2007»
15 years 6 months ago
Trajectory Planning in a Crossroads for a Fleet of Driverless Vehicles
In the context of Intelligent Transportation Systems based on driverless vehicles, one important issue is the passing of a crossroads. This paper presents a supervised reservation ...
Olivier Mehani, Arnaud de La Fortelle
87
Voted
APPROX
2004
Springer
136views Algorithms» more  APPROX 2004»
15 years 5 months ago
On the Crossing Spanning Tree Problem
Given an undirected n-node graph and a set C of m cuts, the minimum crossing tree is a spanning tree which minimizes the maximum crossing of any cut in C, where the crossing of a c...
Vittorio Bilò, Vineet Goyal, R. Ravi, Mohit...
VISUALIZATION
2002
IEEE
15 years 5 months ago
BLIC: Bi-Level Isosurface Compression
In this paper we introduce a new and simple algorithm to compress isosurface data. This is the data extracted by isosurface algorithms from scalar functions defined on volume gri...
Gabriel Taubin