In this work, our objective is to heuristically discover a simpliļ¬ed form of functional dependencies between variables called weak dependencies. Once discovered, these relations...
Modeling learning agents in the context of Multi-agent Systems requires an adequate understanding of their dynamic behaviour. Usually, these agents are modeled similar to the diļ¬...
We introduce four measures for the change of coalitions in social networks. The ļ¬rst one measures the change of the agents in the network over time, The second one measures the ...
Guido Boella, Leendert van der Torre, Serena Villa...
Abstract. We present a compositional theory of system veriļ¬cation, where speciļ¬cations assign real-numbered costs to systems. These costs can express a wide variety of quantita...
Krishnendu Chatterjee, Luca de Alfaro, Marco Faell...
Annotation and retrieval tools for multimedia digital libraries have to cope with the complexity of multimedia content. In particular, when dealing with video content, annotation ...