12115 search results - page 246 / 2423 » Bisimulation of Dynamical Systems |
187
click to vote
CSL
2006
Springer
15 years 6 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...
215
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
178
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Video-based handwritten Character Recognition (VCR) system is a new type of character recognition system with many unique advantages over on-line character recognition system. Its...
146
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Dynamic Bayesian Networks (DBNs) provide a systematic framework for robust online monitoring of dynamic systems. This paper presents an approach for increasing the efficiency ...
189
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the development of several methods for the dynamic measurement of error distribution for positioning systems. When a user moves along a path at an unknown spe...