4609 search results - page 16 / 922 » Automatic Generation of Sigma-Protocols |
161
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
198
Voted
MMM
2012
Springer
14 years 3 days ago
2012
Springer
In this work we propose to exploit context sensor data for analyzing user generated videos. Firstly, we perform a low-level indexing of the recorded media with the instantaneous co...
153
click to vote
ENTCS
2002
15 years 4 months ago
2002
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
155
click to vote
MEMICS
2010
14 years 11 months ago
2010
We describe an automated way to generate data for a practical LLVM instruction selector based on machine-generated description of the target architecture at register transfer leve...
135
click to vote
ACMSE
2010
ACM
15 years 2 months ago
2010
ACM
Reinforcement Programming (RP) is a new technique for automatically generating a computer program using reinforcement learning methods. This paper describes how RP learned to gene...