152 search results - page 18 / 31 » Complex Zero-Knowledge Proofs of Knowledge Are Easy to Use |
173
click to vote
ICIA
2007
15 years 8 months ago
2007
We address the problem of users creating visualizations to debug and understand multi-agent systems. The key challenges are that (1) needs arise dynamically, i.e., it is difficult...
136
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
Constant propagation (CP) is one of the most widely used optimizations in practice (cf. [9]). Intuitively, it addresses the problem of statically detecting whether an expression al...
157
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
144
click to vote
SIBGRAPI
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a novel image-based approach to render plausible soft shadows for complex dynamic scenes with rectangular light sources. The algorithm's performance is mo...
163
click to vote
ERSHOV
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...