10802 search results - page 196 / 2161 » Generative and developmental systems |
VL
1998
IEEE
14 years 3 months ago
1998
IEEE
This paper outlines a method to specify a wide range of diagrams by hypergraphs and diagram dynamics by hypergraph rewrite rules. The specification of a diagram language together ...
IMA
1997
Springer
14 years 2 months ago
1997
Springer
We show how it is possible for two parties to co-operate in generating the parameters for an RSA encryption system in such a way that neither individually has the ability to decry...
TACAS
1997
Springer
14 years 2 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
ATAL
2010
Springer
13 years 12 months ago
2010
Springer
Virtual Actors are at the heart of Interactive Storytelling systems and in recent years multiple approaches have been described to specify their autonomous behaviour. One well kno...
NAACL
2010
13 years 8 months ago
2010
This paper introduces a system designed for automatically generating personalized annotation tags to label Twitter user's interests and concerns. We applied TFIDF ranking and...