Sciweavers

676 search results - page 88 / 136
» A Search-Free Intersection Algorithm
Sort
View
159
Voted
SWAT
1998
Springer
110views Algorithms» more  SWAT 1998»
15 years 8 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...
141
Voted
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
15 years 11 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
EUROCAST
2007
Springer
102views Hardware» more  EUROCAST 2007»
15 years 10 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
APPROX
2004
Springer
136views Algorithms» more  APPROX 2004»
15 years 10 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 9 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