1532 search results - page 30 / 307 » Connection Relations in Mereotopology |
APAL
2004
14 years 9 months ago
2004
Relation were invented by Tarski and his collaborators in the middle of the twentieth century. The concept of integrality arose naturally early in the history of the subject, and s...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We show that for Multiplicative Exponential Linear Logic (without weakenings) the syntactical equivalence relation on proofs induced by cut-elimination coincides with the semantic ...
JSYML
2006
14 years 9 months ago
2006
We investigate diagonal actions of Polish groups and the related intersection operator on closed subgroups of the acting group. The Borelness of the diagonal orbit equivalence rela...
ISMAR
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper is concerned with the problem of estimating the relative translation and orientation of an inertial measurement unit and a spherical camera, which are rigidly connected...
WCE
2007
14 years 11 months ago
2007
—The dynamics of reciprocal transducer systems is modelled accounting for a nonlinear constitutive relation between the electric displacement and the electric field as reported ...