1938 search results - page 31 / 388 » On Positive Relational Calculi |
ADHOC
2006
13 years 7 months ago
2006
ct 9 It is often useful to know the positions of nodes in a network. However, in a large network it is impractical to build a 10 single global map. In this paper, we present a new ...
LICS
2002
IEEE
14 years 14 days ago
2002
IEEE
We study relations on trees defined by first-order constraints over a vocabulary that includes the tree extension relation Ì Ì ¼, holding if and only if every branch of Ì ex...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper introduces our recently developed high precision robot localization system employing position sensitive detectors (PSD). A lateral effect PSD is an ideal position se...
PERCOM
2006
ACM
14 years 1 months ago
2006
ACM
Groupanizer is an extension of groupware and constitutes a development platform to integrate user-centric information for the benefit of groupware applications. User-centric conte...
KI
2010
Springer
13 years 6 months ago
2010
Springer
Location models are data structures or knowledge bases used in Ubiquitous Computing for representing and reasoning about spatial relationships between so-called smart objects, i.e....