1938 search results - page 18 / 388 » On Positive Relational Calculi |
FLAIRS
2008
13 years 9 months ago
2008
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
ICGI
2010
Springer
13 years 8 months ago
2010
Springer
In this work, we give an algorithm that infers Regular Trace Languages. Trace languages can be seen as regular languages that are closed under a partial commutation relation called...
MOVEP
2000
13 years 11 months ago
2000
We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...
WIMOB
2007
IEEE
14 years 1 months ago
2007
IEEE
— There exists a multitude of location-sensing systems utilizing wireless technology, though varying in cost, coverage and accuracy. In this paper we will introduce WLocator, a s...
JAT
2006
13 years 7 months ago
2006
Let