433 search results - page 19 / 87 » On stabilizers of infinite words |
WILF
2009
Springer
14 years 13 days ago
2009
Springer
Digital video stabilization approaches typically degrade their performances in presence of periodic patterns. Any kind of matching between consecutive frames is not usually able to...
IPCO
2008
13 years 9 months ago
2008
Recent advances on the understanding of valid inequalities from the infinite group relaxation has opened the possibility of finding a computationally effective extension to GMI cu...
DLT
2006
13 years 9 months ago
2006
Let be an alphabet of size t, let f : be a non-erasing morphism, let w be an infinite fixed point of f, and let E(w) be the critical exponent of w. We prove that if E(w) is fi...
SIAMJO
2008
13 years 7 months ago
2008
By considering the epigraphs of conjugate functions, we extend the Fenchel duality, applicable to a (possibly infinite) family of proper lower semicontinuous convex functions on a ...
IPPS
2002
IEEE
14 years 25 days ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...