82 search results - page 6 / 17 » Parameter Augmentation for Two Formulas |
TCS
2002
14 years 9 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
ISVC
2005
Springer
15 years 3 months ago
2005
Springer
This paper addresses the issue of multi-aspect target tracking where target’s aspect is modeled by a continuous-valued affine model. The affine parameters are assumed to follow ...
TMI
2002
14 years 9 months ago
2002
Abstract--We present an explicit formula for B-spline convolution kernels; these are defined as the convolution of several B-splines of variable widths and degrees . We apply our r...
CAV
2003
Springer
15 years 2 months ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
ESA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Possibly the most famous algorithmic meta-theorem is Courcelle's theorem, which states that all MSO-expressible graph properties are decidable in linear time for gra...