6955 search results - page 1170 / 1391 » Mobile Recommender Systems |
136
click to vote
CSL
2005
Springer
15 years 9 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
140
click to vote
DAGM
2005
Springer
15 years 9 months ago
2005
Springer
Obstacle avoidance is one of the most important challenges for mobile robots as well as future vision based driver assistance systems. This task requires a precise extraction of de...
159
click to vote
DCOSS
2005
Springer
15 years 9 months ago
2005
Springer
In surveillance and tracking applications, wireless sensor nodes collectively monitor the existence of intruding targets. In this paper, we derive closed form results for predicti...
118
click to vote
ESWS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper presents the ONTOSUM system which uses Natural Language Generation (NLG) techniques to produce textual summaries from Semantic Web ontologies. The main contrib...
136
click to vote
FMCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...