The purpose of the paper is to explore the possibility of applying existing formal theories of description and design of distributed and concurrent systems to interaction protocols for real-time multi-agent systems. In particular it is shown how the language PRALU, proposed for description of parallel logical control algorithms and rooted in the Petri net formalism, can be used for the modeling...

This paper describes a log-linear modeling framework suitable for large-scale speech recognition tasks. We introduce modifications to our training procedure that are required for extending our previous work on log-linear models to larger tasks. We give a detailed description of the training procedure with a focus on aspects that impact computational efficiency. The performance of our approach i...

opinion Free Access Share on Conversations: Conversations with a Prominent Propagator: Barbara Ericson Authors: David P. Bunde Knox College CollegeView Profile , Zack Butler Rochester Institute of Technology TechnologyView Christopher L. Hovey University Colorado Boulder BoulderView Cynthia Taylor Oberlin Authors Info & Claims ACM InroadsVolume 14Issue 1March 2023 pp 16–19https://doi.org/10.114...

This article examines complement clauses in the Caribbean English spoken Bequia (St Vincent and Grenadines). Despite a small population (about 5,000), physical proximity pervasive kinship ties across villages, is characterised by considerable inter-group differentiation, suggesting existence of (post-)creole continuum. We analyse variation complementisers used to introduce finite (that, zero) n...