—With the growth in the past few years of social tagging services like Delicious and CiteULike, there is growing interest in modeling and mining these social systems for deriving...
—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It specifies MSN controllers to accomplish network objectiv...
Joshua Love, Jerry Jariyasunant, Eloi Pereira, Mar...
—The easiest way for a user to express his needs regarding a desired service is to use natural language. The main issues come from the fact that the natural language is incomplet...
— The reported work advances the state-of-the-art in assistive technology for the blind by enhancing a low-cost automated tutor designed to teach braille writing skills to visual...
Mohammed Kaleemur Rahman, Saurabh Sanghvi, Noura E...
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...