This paper presents a social and personal context modeling method on mobile device. It infers user’s contexts, such as amity with others and emotional state, from uncertain logs...
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
This paper introduces mTag, a distributed eventdriven architecture for discovering location specific mobile web services. Service discovery is initiated by touching a fixed RFID r...
Jani Korhonen, Timo Ojala, Mikko Klemola, Pasi Vaa...
- In this work we address the problem of perception, spatial cognition and topological navigation for a mobile robot. The objective of this work is to enable the navigation of an a...
– To make a mobile robot with real-time vision system adapt to the highly dynamic environments and emergencies under the real-time constraints, a significant account of processin...