4609 search results - page 79 / 922 » Automatic Generation of Sigma-Protocols |
154
click to vote
ECTEL
2007
Springer
15 years 11 months ago
2007
Springer
Folksonomies provide a free source of keywords describing web resources, however, these keywords are free form and unstructured. In this paper, we describe a novel tool that conver...
133
click to vote
MTPP
2010
15 years 2 months ago
2010
Abstract. The code generator in a compiler attempts to match a subject tree against a collection of tree-shaped patterns for generating instructions. Tree-pattern matching may be c...
148
click to vote
DPHOTO
2009
15 years 2 months ago
2009
In this paper, we present a novel method for generating a background model from a sequence of images with moving objects. Our approach is based on non-parametric statistics and ro...
177
Voted
ICWSM
2009
15 years 2 months ago
2009
Hearing people argue opposing sides of an issue can be a useful way to understand the topic; however, these debates or conversations often don't exist. Unfortunately, generat...
129
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...