Sciweavers

301 search results - page 23 / 61
» On extensions of a theorem of Baxter
Sort
View
IJFCS
2008
88views more  IJFCS 2008»
15 years 21 days ago
On a Characterization of Cellular Automata in Tilings of the Hyperbolic Plane
In this paper, we look at the extension of Hedlund's characterization of cellular automata to the case of cellular automata in the hyperbolic plane. This requires an addition...
Maurice Margenstern
87
Voted
JCT
2006
83views more  JCT 2006»
15 years 20 days ago
The mathematics of Bruce Rothschild
A review is given of some of the mathematical research of Bruce Rothschild, emphasizing his results in combinatorial theory, especially that part known as Ramsey Theory. Special em...
Neil Hindman
82
Voted
SLOGICA
2008
73views more  SLOGICA 2008»
15 years 18 days ago
Some Aspects of Polyadic Inductive Logic
We give a brief account of some de Finetti style representation theorems for probability functions satisfying Spectrum Exchangeability in Polyadic Inductive Logic, together with ap...
Jürgen Landes, Jeff B. Paris, Alena Vencovsk&...
94
Voted
ISIPTA
2003
IEEE
15 years 6 months ago
Convenient Interactive Computing for Coherent Imprecise Prevision Assessments
A generalization of deFinetti’s Fundamental Theorem of Probability facilitates coherent assessment, by iterated natural extension, of imprecise probabilities or expectations, co...
James Dickey
92
Voted
ENTCS
2008
79views more  ENTCS 2008»
15 years 23 days ago
The Compositional Method and Regular Reachability
The compositional method, introduced by Feferman and Vaught in 1959, allows to reduce the model-checking problem for a product structure to the model-checking problem for its fact...
Ingo Felscher