2585 search results - page 228 / 517 » computing 1999 |
148
click to vote
FOCS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange qu...
114
click to vote
CG
1999
Springer
15 years 3 months ago
1999
Springer
The Iamascope is an interactive, electronic kaleidoscope. The Iamascope combines computer video, graphics, vision, and audio technology for performers to create striking imagery a...
132
click to vote
CVPR
1999
IEEE
16 years 6 months ago
1999
IEEE
We describe a set of image measurements which are invariant to the camera internals but are location variant. We show that using these measurements it is possible to calculate the...
133
click to vote
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
152
click to vote
INFOVIS
1999
IEEE
15 years 8 months ago
1999
IEEE
We have developed a technique, Aggregate Towers, that allows geospatial data to be visualized across a range of map scales. We use a combination of data aggregation algorithms and...