4255 search results - page 580 / 851 » Cover |
167
click to vote
INFOCOM
1994
IEEE
15 years 10 months ago
1994
IEEE
A new model of nonuniform traffic is introduced for a single-hop packet-switching system. This traffic model allows arbitrary traffic streams subject only to a constraint on the nu...
212
click to vote
VR
1993
IEEE
15 years 10 months ago
1993
IEEE
The technical limitations of early Virtual Reality systems made them almost teasers for showing the potential of the technology. Since these early days, many researchers have focu...
173
click to vote
CADE
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we investigate the concept of simple termination. A term rewriting system is called simply terminating if its termination can be proved by means of a simpli cation o...
158
click to vote
COMPGEOM
1994
ACM
15 years 10 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...
218
click to vote
ICLP
1994
Springer
15 years 10 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...