4609 search results - page 817 / 922 » Automatic Generation of Sigma-Protocols |
161
click to vote
ENTCS
2007
15 years 5 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
148
click to vote
ENVSOFT
2007
15 years 5 months ago
2007
The SISSI program implements a novel approach for the estimation of the optimal sample size in experimental data collection. It provides avisual evaluation system of sample size d...
176
click to vote
JVCA
2006
15 years 5 months ago
2006
Given a still picture, tour into the picture (TIP) generates a walk-through animation of a 3D scene constructed from the picture. In this paper, we generalize TIP to deal with wat...
160
click to vote
JVCA
2006
15 years 5 months ago
2006
d Abstract) Jieun Lee, Seung-Hyun Yoon, and Myunng-Soo Kim Seoul National University, KOREA We present a new approach to realistic hand modeling and deformation with real-time per...
245
click to vote
MTA
2008
15 years 5 months ago
2008
This paper presents a framework that explicitly detects events in broadcasting baseball videos and facilitates the development of many practical applications. Three phases of contr...