3387 search results - page 305 / 678 » Model-Checking for Real-Time Systems |
219
click to vote
ICCS
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
223
click to vote
CORR
2012
Springer
14 years 3 months ago
2012
Springer
Abstract. This article presents a new open-source C++ implementation to solve the SLAM problem, which is focused on genericity, versatility and high execution speed. It is based on...
205
click to vote
CSL
2006
Springer
15 years 7 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
190
click to vote
ICCV
2005
IEEE
16 years 9 months ago
2005
IEEE
Although variational methods are among the most accurate techniques for estimating the optical flow, they have not yet entered the field of real-time vision. Main reason is the gr...
237
click to vote
DSRT
2005
IEEE
16 years 26 days ago
2005
IEEE
Understanding the characteristics of information flow in large scale real-time distributed virtual simulations (RT-DVS) is important for the development of network services that a...