Current information retrieval (IR) approaches do not formally capture the explicit meaning of a keyword query but provide a comfortable way for the user to specify information need...
Thanh Tran, Philipp Cimiano, Sebastian Rudolph, Ru...
We have architected and evaluated a new kind of data resource, one that is composed of a logical collection of ephemeral data streams that could be viewed as a collection of publi...
Usability is a key component of websites that are commercially successful. Interactivity has been inconclusively linked to website usability. This study strengthens the theoretica...
Paul Benjamin Lowry, Trent J. Spaulding, Taylor We...
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of h...
Abstract. Consider a set of n > 2 simple autonomous mobile robots (decentralized, asynchronous, no common coordinate system, no identities, no central coordination, no direct co...
Mark Cieliebak, Paola Flocchini, Giuseppe Prencipe...