Sciweavers

301 search results - page 17 / 61
» On extensions of a theorem of Baxter
Sort
View
SIAMDM
2008
86views more  SIAMDM 2008»
13 years 6 months ago
Hamilton Cycles in Planar Locally Finite Graphs
A classical theorem by Tutte assures the existence of a Hamilton cycle in every finite 4-connected planar graph. Extensions of this result to infinite graphs require a suitable co...
Henning Bruhn, Xingxing Yu
CORR
2011
Springer
128views Education» more  CORR 2011»
13 years 2 months ago
LIFO-search on digraphs: A searching game for cycle-rank
We consider the extension of the last-in-first-out graph searching game of Giannopoulou and Thilikos to digraphs. We show that all common variations of the game require the same ...
Paul Hunter
SIGMOD
2009
ACM
185views Database» more  SIGMOD 2009»
14 years 7 months ago
Attacks on privacy and deFinetti's theorem
In this paper we present a method for reasoning about privacy using the concepts of exchangeability and deFinetti's theorem. We illustrate the usefulness of this technique by...
Daniel Kifer
MP
2007
91views more  MP 2007»
13 years 7 months ago
Set Intersection Theorems and Existence of Optimal Solutions
The question of nonemptiness of the intersection of a nested sequence of closed sets is fundamental in a number of important optimization topics, including the existence of optima...
Dimitri P. Bertsekas, Paul Tseng
TC
2010
13 years 5 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi