35 search results - page 7 / 7 » A Modal Logic Framework for Human-Computer Spoken Interactio... |
HUC
2007
Springer
13 years 11 months ago
2007
Springer
This paper presents Haggle, an architecture for mobile devices that enables seamless network connectivity and application functionality in dynamic mobile environments. Current appl...
IROS
2009
IEEE
13 years 12 months ago
2009
IEEE
— In this paper, we investigate the problem of 3D object categorization of objects typically present in kitchen environments, from data acquired using a composite sensor. Our fra...
LAWEB
2009
IEEE
13 years 12 months ago
2009
IEEE
Abstract—The World Wide Web offers easy sharing of information, but provides only few options for the protection of sensitive information and other sensitive resources. Tradition...
CAV
2009
Springer
13 years 9 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
COMPUTER
2007
13 years 5 months ago
2007
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...