We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of complete plays as regular languages. Being derived directly from the fully abstract game semantics for IA, our model inherits its good theoretical properties; in fact, for second-order IA taken as a stand-alone langua...

We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of complete plays as regular languages. Being derived directly from the fully abstract game semantics for IA, our model inherits its good theoretical properties; in fact, for first order IA taken as a stand-alone languag...

This work provides a case-study of how metaheuristic optimization algorithms can be developed using a domain-specific language as a separate modeling layer. A separation of the modeling process from the implementation of the algorithmic concepts improves the communication and collaboration of practitioners, optimization experts and programmers. This is achieved by providing a higher level of ab...

Speech technologies have a potentiality to simplify the human-machine interaction as well as the communication between people. The use of speech technology applications has nowadays continuously growing trend. Each speech recognition system, which stands in the heart of every speech application, besides an algorithmic complexity, is strongly language dependent. Therefore, one of the challenging...

Human communication is unparalleled in the animal kingdom. The key distinctive feature of our language is productivity : we are able to express an infinite number of ideas using a limited set of words. Traditionally, it has been argued or assumed that productivity emerged as a consequence of very specific, innate grammatical systems. Here we formally develop an alternative hypothesis: productiv...

We review a logic-based modeling language PRISM and report recent developments including belief propagation by the generalized inside-outside algorithm and generative modeling with constraints. The former implies PRISM subsumes belief propagation at the algorithmic level. We also compare the performance of PRISM with state-of-theart systems in statistical natural language processing and probabi...

This article introduces the field of architecture, or infrastructure, for language processing scientific experimentation and language technology applications development. The article: presents a critical review of the various approaches that have been taken in the field; analyses eleven categories of previous work and uses these categories to organise the discussion; looks in detail at algorith...

Language theoretic aspects and algorithmic properties of particular classes of context-free collage languages and of patterns generated by iterated function systems are studied. These classes are defined by restricting the allowed transformations to a sort of similarity transformations called grid transformations. It turns out that, thanks to this restriction, the language classes have nice clo...

In this note, the deformable template or elastic arm approach to track reconstruction described previously will be extended to include particle identification. The discussion will first develop the mathematical and algorithmic structure of the pattern recognition problem using the methodology and language of statistical mechanics and then sketch its implementation in an object oriented programm...

The formulation and interpretation of written procedures should be of central interest to many subject areas in education, especially those involving computing. This paper concerns the significance of students’ written solutions to problems. It will describe an experiment with 12 to 13 year old (Year 8) students involving the description in natural language (English) of the construction of simp...