In this paper we study a subclass of pebble automata (PA) for data languages for which the emptiness problem is decidable. Namely, we show that the emptiness problem for weak 2-peb...
The concept of determinism, while clear and well assessed for string languages, is still matter of research as far as picture languages are concerned. We introduce here a new kind ...
We present PocketDRAGON, a demonstrator prototype that allows direct manipulation video navigation on mobile touchscreen devices. In contrast to traditional video navigation techn...
The development processes of open source software are different from traditional closed source development processes. Still, open source software is frequently of high quality. Th...
Web search is the dominant form of information access and everyday millions of searches are handled by mainstream search engines, but users still struggle to find what they are lo...
Barry Smyth, Peter Briggs, Maurice Coyle, Michael ...