4609 search results - page 898 / 922 » Automatic Generation of Sigma-Protocols |
129
click to vote
WCRE
1999
IEEE
15 years 4 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
VRML
1998
ACM
15 years 4 months ago
1998
ACM
We present a new method for (1) automatically generating multiple Levels Of Detail (LODs) of a polygonal surface, (2) progressively loading, or transmitting, and displaying a surf...
SEAL
1998
Springer
15 years 4 months ago
1998
Springer
The allocation of office space in any large institution is usually a problematical issue, which often demands a substantial amount of time to perform manually. The result of this a...
ISPAN
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
135
click to vote
ECBS
1996
IEEE
15 years 4 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...