The AlethGen tool has been used to build a system for automatically generating replies to complaints, for a European mail-order company. In the current version, letters are genera...
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...
This paper proposes “intuitive cinema” – a new form of interactive storytelling, which emphasizes user motive and viewpoints, and implements its cinematic expressions based ...
Abstract. We have built eMoto, a mobile service for sending and receiving affective messages, with the explicit aim of addressing the inner experience of emotions. eMoto is a desig...
Compressed sensing (CS) has recently emerged as a powerful signal acquisition paradigm. In essence, CS enables the recovery of high-dimensional sparse signals from relatively few ...
Jarvis Haupt, Waheed Uz Zaman Bajwa, Gil M. Raz, R...