5350 search results - page 843 / 1070 » Space and time in eco-ontologies |
181
click to vote
ISER
1997
Springer
15 years 10 months ago
1997
Springer
: We have constructed a tactile shape display which can be used to convey small-scale shapes in teleoperation and virtual environments. A line of 10 pins spaced 2 mm on center are ...
177
click to vote
ISSAC
1997
Springer
15 years 10 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...
213
click to vote
LICS
1993
IEEE
15 years 10 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...
160
click to vote
INFOCOM
1994
IEEE
15 years 10 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...
157
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...