2042 search results - page 290 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
162
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
165
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
:This paper presents a trajectory planning algorithm for mobile robots which may be subject to kinodynamic constraints. Using computational methods from noncommutative harmonic ana...
135
Voted
ICDM
2006
IEEE
15 years 10 months ago
2006
IEEE
Many previous works of data mining user queries in Peer-to-Peer systems focused their attention on the distribution of query contents. However, few has been done towards a better ...
179
click to vote
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
— A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system tha...
130
click to vote
TON
2008
15 years 4 months ago
2008
We consider the vector fixed point equations arising out of the analysis of the saturation throughput of a single cell IEEE 802.11e (EDCA) wireless local area network with nodes th...