Sciweavers

300 search results - page 22 / 60
» The Extension Theorem
Sort
View
76
Voted
ENTCS
2008
79views more  ENTCS 2008»
14 years 11 months 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
73
Voted
JCT
2006
83views more  JCT 2006»
14 years 11 months 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
CCCG
2004
15 years 14 days ago
On corners of objects built from parallelepiped bricks
We investigate a question initiated in the work of Sibley and Wagon, who proved that 3 colors suffice to color any collection of 2D parallelograms glued edge-to-edge. Their proof ...
Mirela Damian, Joseph O'Rourke
ISIPTA
2003
IEEE
15 years 4 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
COMGEO
2010
ACM
14 years 11 months ago
Centerpoints and Tverberg's technique
Using a technique that Tverberg and Vrecica [TV93] discovered to give a surprisingly simple proof of Tverberg's theorem, we show the following extension of the centerpoint th...
Abdul Basit, Nabil H. Mustafa, Saurabh Ray, Sarfra...