4609 search results - page 143 / 922 » Automatic Generation of Sigma-Protocols |
151
click to vote
ICPR
2010
IEEE
16 years 21 hour ago
2010
IEEE
We describe a system for generating coherent movies from a collection of unedited videos. The generation process is guided by one or more input keyframes, which determine the cont...
165
click to vote
FDL
2005
IEEE
16 years 3 hour ago
2005
IEEE
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...
179
click to vote
RTS
2010
15 years 4 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
195
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
A spoken language generation system has been developed that learns to describe objects in computer-generated visual scenes. The system is trained by a `show-and-tell' procedu...
166
click to vote
KBS
2002
15 years 6 months ago
2002
The automatic induction of classification rules from examples in the form of a decision tree is an important technique used in data mining. One of the problems encountered is the o...