4609 search results - page 813 / 922 » Automatic Generation of Sigma-Protocols |
157
click to vote
CGF
2006
15 years 6 months ago
2006
We present a synthesis technique that can automatically generate stroke patterns based on a user-specified reference pattern. Our method is an extension of texture synthesis techn...
139
click to vote
CVGIP
2006
15 years 6 months ago
2006
We present a method for animating 3D models of animals from existing live video sequences such as wild life documentaries. Videos are first segmented into binary images on which p...
143
click to vote
CVGIP
2006
15 years 6 months ago
2006
We present a method for synthesizing animations of autonomous space, water, and land-based vehicles in games or other interactive simulations. Controlling the motion of such vehic...
169
click to vote
IJAC
2008
15 years 6 months ago
2008
Abstract. A regular set of words is (k-)locally testable if membership of a word in the set is determined by the nature of its subwords of some bounded length k. In this article we...
181
click to vote
ESWA
2006
15 years 6 months ago
2006
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...