-
Semantic Search: Reconciling Expressive Querying and Exploratory Search
International audience -
On the Expressiveness of Pure Safe Ambients
We consider the Pure Safe Ambient Calculus, which is Levi and Sangiorgi's Safe Ambient Calculus (a variant of Cardelli and Gordon's Mobile Ambient Calculus) restricted... -
Counting CTL
The original publication is available at www.springerlink.com. -
Counting LTL
The original publication is available at ieeexplore.ieee.org. -
Designing expressive interaction techniques for novices inspired by expert ac...
As interactive systems are now used to perform a variety of complex tasks, users need systems that are at the same time expressive, efficient and usable. Although...
