3166 search results - page 85 / 634 » Translation By Structural Correspondences |
81
Voted
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
del based on (overlap) graphs. The latter is more abstract because the translation of legal strings into overlap graphs is not injective. In this paper we consider and solve the ov...
76
Voted
ICIP
2000
IEEE
16 years 2 months ago
2000
IEEE
In thispapel; the reduction of inherent ambiguities in StructurefromMotion(SW)using inertialdata isaddressed. First, we show that the translation-rotation ambiguity inS'from ...
BIRTHDAY
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...
95
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
105
click to vote
COMBINATORICS
2004
15 years 15 days ago
2004
We introduce intersection schemes (a generalization of uniform oriented matroids of rank 3) to describe the combinatorial properties of arrangements of pseudocircles in the plane ...