3 search results - page 1 / 1 » Axiomatic Characterization of Partial Ordinal Relations |
ISIPTA
1999
IEEE
13 years 8 months ago
1999
IEEE
In this paper we focus on the theoretical properties of non-numerical representation of the uncertainty. As usual, this representation is realized by an ``ordinal relation'&#...
CVIU
2004
13 years 4 months ago
2004
There have been relatively little works to shed light on the effects of errors in the intrinsic parameters on motion estimation and scene reconstruction. Given that the estimation...
LICS
2009
IEEE
13 years 11 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...