11211 search results - page 2032 / 2243 » Rank-Sensitive Data Structures |
122
click to vote
LICS
1997
IEEE
15 years 6 months ago
1997
IEEE
We consider a class of infinite two-player games on finitely coloured graphs. Our main question is: given a winning condition, what is the inherent blow-up (additional memory) of ...
155
Voted
RTA
1995
Springer
15 years 6 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...
141
click to vote
SC
1995
ACM
15 years 6 months ago
1995
ACM
This paper presents an extensive empirical evaluation of an interprocedural parallelizing compiler, developed as part of the Stanford SUIF compiler system. The system incorporates...
137
click to vote
SMA
1995
ACM
15 years 6 months ago
1995
ACM
: Fast and accurate collision detection between general solid models is a fundamental problem in solid modeling, robotics, animation and computer-simulated environments. Most of th...
121
click to vote
VISUALIZATION
1995
IEEE
15 years 6 months ago
1995
IEEE
There are many applications that can benefit from the simultaneous display of multiple layers of data. The objective in these cases is to render the layered surfaces in a such way...