5599 search results - page 105 / 1120 » Abstract State Services |
102
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
110
click to vote
PKDD
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The Factored Markov Decision Process (FMDP) framework is a standard representation for sequential decision problems under uncertainty where the state is represented as a ...
125
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Recursive state estimation is considered for discrete time linear systems with mixed process and measurement disturbances that have stochastic and (convex) set-bounded ...
106
click to vote
ISVC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper a new extension of the CONDENSATION algorithm, with application to infants face tracking, will be introduced. In this work we address the problem of trackin...
105
click to vote
QOSIP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Maintaining accurate network state information in the Traffic Engineering Databases of each node along a network is extremely difficult. The BYPASS Based Routing (BBR) me...