4609 search results - page 571 / 922 » Automatic Generation of Sigma-Protocols |
177
click to vote
COST
2007
Springer
16 years 28 days ago
2007
Springer
The paper addresses the issue of making Virtual Humans unique and typical of some (social or ethnical) group, by endowing them with style. First a conceptual framework of defining ...
164
click to vote
ECTEL
2007
Springer
16 years 28 days ago
2007
Springer
As metadata is often not sufficiently provided by authors of Learning Resources, automatic metadata generation methods are used to create metadata afterwards. One kind of metadata ...
167
click to vote
ESWS
2007
Springer
16 years 28 days ago
2007
Springer
This paper provides an overview of the Web Mashup Scripting Language (WMSL) and discusses the WMSL-Profile. It specifies the HTML encoding that is used to import Web Service Descri...
161
click to vote
FMCAD
2007
Springer
16 years 28 days ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
334
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
A new model for automatic generation of Evolutionary Algorithms (EAs) by evolutionary means is proposed in this paper. The model is based on a simple Genetic Algorithm (GA). Every...