1938 search results - page 115 / 388 » On Positive Relational Calculi |
W2GIS
2005
Springer
15 years 6 months ago
2005
Springer
In pedestrian navigation, navigators are free to choose any passable way. Because of this characteristic, accurate route instructions are important when navigating from waypoint to...
123
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
A machine learning technique for handling scenarios of interaction between conflicting agents is suggested. Scenarios are represented by directed graphs with labeled vertices (for ...
CAV
2004
Springer
15 years 6 months ago
2004
Springer
We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems with a loop condition governing termination, that is...
83
Voted
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
In a former paper, we defined a new semantics for timed automata, the Almost ASAP semantics, which is parameterized by ∆ to cope with the reaction delay of the controller. We sh...
MIDDLEWARE
2004
Springer
15 years 6 months ago
2004
Springer
In this position paper, we focus on issues related to middleware support for software mobility in ad hoc and pervasive systems. In particular, we are interested in moving the comp...