4609 search results - page 343 / 922 » Automatic Generation of Sigma-Protocols |
194
click to vote
NAR
2010
15 years 1 months ago
2010
Generation of syntactically correct and unambiguous names for proteins is a challenging, yet vital task for functional annotation processes. Proteins are often named based on homo...
251
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
154
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We present a novel structure-enhancing adaptive filter guided by features derived from the Gradient Structure Tensor. We employ this filter to reduce noise in seismic data and to ...
152
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
191
click to vote
FDG
2009
ACM
15 years 4 months ago
2009
ACM
This poster describes a framework that automatically generates learning support scaffolds to guide task-based learning. The aim is to combine the exploratory learning principles p...