In this paper we present an experimental setup to model the pheromone trail based foraging behaviour of ants using a special phosphorescent glowing paint. We have built two custom ...
Ralf Mayet, Jonathan Roberz, Thomas Schmickl, Karl...
One of the most important applications of the Asymmetric Hamiltonian Path Problem is in scheduling. In this paper we describe a variant of this problem, and develop both a mathemat...
Modeling of individual users is a promising way of improving the performance of spoken dialogue systems deployed for the general public and utilized repeatedly. We define "im...
Word discovery is the task of discovering and collecting occurrences of repeating words in the absence of prior acoustic and linguistic knowledge, or training material. The capabi...
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
Tahina Ramananandro, Gabriel Dos Reis, Xavier Lero...