7167 search results - page 145 / 1434 » A Technique for Invariant Generation |
157
click to vote
IJNSEC
2006
15 years 6 months ago
2006
Side channel analysis is a technique that enables the adversary to benefit from information leakages occurring due to the implementation of encryption algorithms on
165
click to vote
CVPR
2010
IEEE
16 years 16 hour ago
2010
IEEE
In this paper, we show how to generate a sharp panorama from a set of motion-blurred video frames. Our technique is based on joint global motion estimation and multi-frame deblurr...
183
click to vote
DATE
2005
IEEE
16 years 55 min ago
2005
IEEE
This paper presents an infrastructure to test the functionality of the specific architectures output by a highlevel compiler targeting dynamically reconfigurable hardware. It resu...
193
click to vote
UAI
2007
15 years 7 months ago
2007
This paper introduces decision-theoretic planning techniques into automatic music generation. Markov decision processes (MDPs) are a mathematical model of planning under uncertain...
150
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Many techniques in model-based diagnosis and other research fields find the hitting sets of a group of sets. Existing techniques apply to sets of finite elements only. Th...