5356 search results - page 853 / 1072 » Adventures in time and space |
122
Voted
ISSAC
1997
Springer
15 years 6 months ago
1997
Springer
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...
150
Voted
LICS
1993
IEEE
15 years 5 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
111
click to vote
INFOCOM
1994
IEEE
15 years 5 months ago
1994
IEEE
In this paper, we introduce a deterministic fluid model and two stochastic traffic models for wireless networks. The setting is a highway with multiple entrances and exits. Vehicl...
108
click to vote
COMPGEOM
1994
ACM
15 years 5 months ago
1994
ACM
Ray (segment) shooting is the problem of determining the first intersection between a ray (directed line segment) and a collection of polygonal or polyhedral obstacles. In order t...
105
Voted
VLDB
1994
ACM
15 years 5 months ago
1994
ACM
The performance of data-parallel algorithms for spatial operations using data-parallel variants of the bucket PMR quadtree, R-tree, and R+-tree spatial data structures is compared...