7167 search results - page 1116 / 1434 » A Technique for Invariant Generation |
178
click to vote
PG
1999
IEEE
15 years 12 months ago
1999
IEEE
In this paper we introduce a new compression technique for the connectivity of a Triangulated Irregular Network (TIN) by using Delaunay triangulation. The strategy in this paper i...
188
click to vote
EUROCRYPT
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. We present the first efficient statistical zero-knowledge protocols to prove statements such as: – A committed number is a prime. – A committed (or revealed) number ...
199
click to vote
SIBGRAPI
1999
IEEE
15 years 12 months ago
1999
IEEE
Advanced Human Computer Interaction (HCI) techniques are required to enhance current computer interfaces. In this paper we present an eye gaze tracking system based on a robust low...
217
Voted
FPGA
1999
ACM
15 years 12 months ago
1999
ACM
Multi-FPGA systems are used as custom computing machines to solve compute intensive problems and also in the verification and prototyping of large circuits. In this paper, we addr...
231
Voted
VISUALIZATION
1999
IEEE
15 years 12 months ago
1999
IEEE
We present the design of a simulator for a prototype interventional magnetic resonance imaging scanner. This MRI scanner is integrated with an operating theater, enabling new tech...