10715 search results - page 123 / 2143 » Proofs from Tests |
112
Voted
DCG
2010
15 years 27 days ago
2010
Abstract. The Topological Radon Theorem states that, for every continuous function from the boundary of a (d + 1)-dimensional simplex into Rn , there exist a pair of disjoint faces...
134
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
128
click to vote
KRDB
2001
15 years 4 months ago
2001
We analyze several classes of path constraints for semistructured data in a unified framework and prove some decidability and complexity results for these constraints by embedding...
147
click to vote
DFG
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We give an overview of important results for non-atomic congestion games in their traditional form along with self-contained and short proofs and then present new results...
156
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...