606 search results - page 5 / 122 » Algebras and Update Strategies |
ENTCS
2006
13 years 7 months ago
2006
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for d...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
FORTE
2004
13 years 9 months ago
2004
Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...
COMCOM
2000
13 years 7 months ago
2000
This paper introduces a location-based locating strategy for Personal Communication Services (PCS) systems. In the proposed scheme, location updates are based on the value of a mo...
FLAIRS
1998
13 years 9 months ago
1998
This work studies the control of robots in the adversarial world of "Hunt the Wumpus". The hybrid learning algorithm which controls the robots behavior is a combination ...