446 search results - page 14 / 90 » A Combinatorial Theorem for Trees |
104
click to vote
ENTCS
2006
15 years 1 months ago
2006
Motivated by the concerns of theorem-proving, we generalise the notion of proof tree to that of hierarchical proof tree. Hierarchical trees extend ordinary trees by adding partial...
118
click to vote
ENDM
2008
15 years 1 months ago
2008
The notion of polytopal map between two polytopal complexes is defined. Surprisingly, this definition is quite simple and extends naturally those of simplicial and cubical maps. It...
112
click to vote
STOC
2007
ACM
16 years 2 months ago
2007
ACM
In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of n definable sets belonging to some fixed definable family of sets i...
101
click to vote
DAC
2001
ACM
16 years 2 months ago
2001
ACM
Watermarking of hardware and software designs is an effective mechanism for intellectual property protection (IPP). Two important criteria for watermarking schemes are credibility...
128
click to vote
FOCS
2004
IEEE
15 years 5 months ago
2004
IEEE
In this work we look back into the proof of the PCP Theorem, with the goal of finding new proofs that are "more combinatorial" and arguably simpler. For that we introduc...