Technological evolution is leading telecommunications to all-IP networks where multiple services are transported as IP packets. Among these are the group communications services w...
A central problem in historical linguistics is the identification of historically related cognate words. We present a generative phylogenetic model for automatically inducing cogn...
We propose a prototype for a real-world, human network proximity experiment with detailed recordings of the position of individuals. Our aim is to provide a comprehensive dataset t...
Matthew Stabeler, Davide Cellai, Simon Dobson, Pad...
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
Abstract-- It is desirable to limit the amount of communication and computation generated by each agent in a large multi-agent system. Event- and self-triggered control strategies ...
Dimos V. Dimarogonas, Emilio Frazzoli, Karl Henrik...