The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...
We propose a novel object discovery framework integrating the application layer of Bluetooth and RFID standards. The approach is motivated and illustrated in an innovative u-comme...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
: Personalisation of information is a desired feature, but authoring and creation of adaptive hypermedia is a difficult endeavour. Especially, manual annotation is the bottleneck o...
Maurice Hendrix, Alexandra I. Cristea, Wolfgang Ne...
In some contexts, well-formed natural language cannot be expected as input to information or communication systems. In these contexts, the use of grammar-independent input (sequen...
Abstract The modeling of a landscape environment is a cognitive activity that requires appropriate spatial representations. The research presented in this paper introduces a struct...
Jean-Marie Le Yaouanc, Eric Saux, Christophe Clara...