152 search results - page 18 / 31 » Complex Zero-Knowledge Proofs of Knowledge Are Easy to Use |
109
click to vote
ICIA
2007
15 years 2 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...
84
Voted
ESOP
2001
Springer
15 years 5 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...
111
click to vote
CORR
2008
Springer
15 years 16 days 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, ...
SIBGRAPI
2006
IEEE
15 years 6 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...
110
click to vote
ERSHOV
2009
Springer
15 years 7 months 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...