4609 search results - page 204 / 922 » Automatic Generation of Sigma-Protocols |
153
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
171
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Extracting data from Web pages using wrappers is a fundamental problem arising in a large variety of applications of vast practical interest. In this paper, we propose a novel sch...
136
click to vote
ICAT
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a method that generates a path that has no collision with the obstacles by using the environment information, and automatically creates natural motions o...
162
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
AbstractāElementary functions are extensively used in computer graphics, signal and image processing, and communication systems. This paper presents a special-purpose compiler th...
164
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...