1231 search results - page 139 / 247 » A Framework for Belief Update |
104
click to vote
DEXA
2004
Springer
15 years 6 months ago
2004
Springer
One of the key research issues with moving objects databases (MOD) is the uncertainty management problem. In this paper, we discuss how the uncertainty of network constrained movin...
97
Voted
HYBRID
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we consider the problem of estimating discrete variables in a class of hybrid systems where we assume that the continuous variables are available for measurement. Usi...
99
Voted
FMCO
2003
Springer
15 years 6 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
88
Voted
MA
2001
Springer
15 years 5 months ago
2001
Springer
In this paper, we propose a global tracking service for mobile agents, which is scalable to the Internet and accounts for security issues as well as the particularities of mobile a...
83
Voted
ESSLLI
1999
Springer
15 years 5 months ago
1999
Springer
In this paper I take a dynamic view in the spirit of the update semantics by Veltman (1996) on the first–order model construction procedure presented by Manthey and Bry (1988)....