10 search results - page 1 / 2 » jva 2006 |
JVA
2006
IEEE
13 years 11 months ago
2006
IEEE
JVA
2006
IEEE
13 years 11 months ago
2006
IEEE
JVA
2006
IEEE
13 years 11 months ago
2006
IEEE
JVA
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper we consider the capabilities of nearest neighbor as a criterion of data association to ensure correct decision in associating measurement to target. We continue the ...
JVA
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...