Sciweavers

294 search results - page 19 / 59
» Relational Modality
Sort
View
SWWS
2008
14 years 11 months ago
Multi-Modal Health and Activity Monitoring Framework for Elderly People at Home
- Since the population of elderly people grows absolutely and in relation to the overall population in the world, the improvement of the quality of life of elderly people at home i...
Ross Velentzas, Andy Marsh, Christos Biniaris, Jer...
AROBOTS
2002
166views more  AROBOTS 2002»
14 years 9 months ago
Multi-Modal Interaction of Human and Home Robot in the Context of Room Map Generation
In robotics, the idea of human and robot interaction is receiving a lot of attention lately. In this paper, we describe a multi-modal system for generating a map of the environment...
Saeed Shiry Ghidary, Yasushi Nakata, Hiroshi Saito...
APAL
2010
97views more  APAL 2010»
14 years 10 months ago
A modal logic framework for reasoning about comparative distances and topology
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
Mikhail Sheremet, Frank Wolter, Michael Zakharyasc...
ATAL
2011
Springer
13 years 9 months ago
Reasoning about local properties in modal logic
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
TASLP
2008
112views more  TASLP 2008»
14 years 9 months ago
A Study in Efficiency and Modality Usage in Multimodal Form Filling Systems
The usage patterns of speech and visual input modes are investigated as a function of relative input mode efficiency for both desktop and personal digital assistant (PDA) working ...
Manolis Perakakis, Alexandros Potamianos