4609 search results - page 880 / 922 » Automatic Generation of Sigma-Protocols |
101
click to vote
CGO
2007
IEEE
15 years 6 months ago
2007
IEEE
Run-time compilation systems are challenged with the task of translating a program’s instruction stream while maintaining low overhead. While software managed code caches are ut...
GLVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
We propose an interconnect reorganization algorithm for reduction stages in parallel multipliers. It aims at minimizing power consumption for given static probabilities at the pri...
100
click to vote
ICCV
2007
IEEE
15 years 6 months ago
2007
IEEE
In this study, we address the problem of 3-D dense metric reconstruction and registration from multiple images, given that the observed surface is nearly planar. This is difficult...
102
click to vote
ICCV
2007
IEEE
15 years 6 months ago
2007
IEEE
We propose an operational method to extract the left ventricle (LV) systole dynamics using HARmonic Phase (HARP) images extracted from tagged cardiac MR sequences. Established tec...
ICMCS
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a novel genre-independent SVM framework for detecting scene changes in broadcast video. Our framework works on content from a diverse range of genres by allowing sets o...