4609 search results - page 496 / 922 » Automatic Generation of Sigma-Protocols |
199
click to vote
EP
1998
Springer
15 years 11 months ago
1998
Springer
This work presents the concepts and the tools involved in the interactive design of artistic screens. The screen elements are derived from a small set of analytical contours provid...
158
Voted
PRICAI
1998
Springer
15 years 11 months ago
1998
Springer
The advent of computing has exacerbated the problem of overwhelming information. Advanced information management strategies such as Information Extraction, Information Filtering, I...
200
Voted
VL
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a framework of syntactic models for the definition and implementation of visual languages. We analyze a wide range of existing visual languages and, for e...
167
click to vote
SIGGRAPH
1994
ACM
15 years 11 months ago
1994
ACM
We apply manipulation planning to computer animation. A new path planner is presented that automatically computes the collision-free trajectories for several cooperating arms toma...
182
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...