Sciweavers

258 search results - page 12 / 52
» Connections between Relation Algebras and Cylindric Algebras
Sort
View
ITA
2008
111views Communications» more  ITA 2008»
14 years 11 months ago
A new algebraic invariant for weak equivalence of sofic subshifts
It is studied how taking the inverse image by a sliding block code affects the syntactic semigroup of a sofic subshift. Two independent approaches are used: -semigroups as recogni...
Laura Chaubard, Alfredo Costa
IJFCS
2010
60views more  IJFCS 2010»
14 years 9 months ago
Properties of Quasi-Relabeling Tree Bimorphisms
The fundamental properties of the class QUASI of quasi-relabeling relations are investigated. A quasi-relabeling relation is a tree relation that is dened by a tree bimorphism (Ï...
Andreas Maletti, Catalin Ionut Tîrnauca
CALCO
2009
Springer
133views Mathematics» more  CALCO 2009»
15 years 5 months ago
Stone Duality and the Recognisable Languages over an Algebra
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
Mai Gehrke
ICPR
2008
IEEE
16 years 11 days ago
Image mosaicing using local optical flow registration
Cylindrical panoramic mosaics can be created by aligning and stitching images from a series, captured by a camera rotating around its optical center. The transformation between tw...
François Deschênes, Marie Flavie Aucl...
TIME
1994
IEEE
15 years 3 months ago
An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
Robert A. Morris, William D. Shoaff, Lina Khatib