4609 search results - page 452 / 922 » Automatic Generation of Sigma-Protocols |
171
Voted
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
We present a new set of algorithms for line-art rendering of smooth surfaces. We introduce an efficient, deterministic algorithm for finding silhouettes based on geometric duali...
184
click to vote
AH
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper, we propose a framework based on a subsymbolic approach for the support of exploratory activities in a hyperspace. By using it, it is possible to express th...
165
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
169
Voted
SIGIR
1999
ACM
15 years 11 months ago
1999
ACM
We define the problem of decomposing human-written summary sentences and propose a novel Hidden Markov Model solution to the problem. Human summarizers often rely on cutting and ...
174
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
To provide a better understanding of physical design algorithms and the underlying circuit architecture they are targeting, we need to exercise the algorithms and architectures wi...