922 search results - page 23 / 185 » A generalization of the Lin-Zhao theorem |
SODA
2004
ACM
15 years 1 months ago
2004
ACM
We present a new technique for constructing and analyzing couplings to bound the convergence rate of finite Markov chains. Our main theorem is a generalization of the path couplin...
119
click to vote
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
ENTCS
2002
14 years 11 months ago
2002
Every endofunctor F of Set has an initial algebra and a final coalgebra, but they are classes in general. Consequently, the endofunctor F of the category of classes that F induces...
GECCO
2000
Springer
15 years 3 months ago
2000
Springer
We generalize Holland's Schema Theorem to the setting that genes are arranged, not necessarily in a linear sequence, but as the nodes in a connected graph. We have experiment...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
11 A classical theorem by Ritt states that all the complete decomposition chains of a univariate polynomial satisfying a certain tameness condition have the same length. In this p...