3778 search results - page 530 / 756 » Erdos-Ko-Rado for three sets |
153
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
215
click to vote
PROPERTYTESTING
2010
15 years 4 months ago
2010
We initiate the study of sublinear-time algorithms in the external memory model [Vit01]. In this model, the data is stored in blocks of a certain size B, and the algorithm is char...
201
click to vote
VRST
2010
ACM
15 years 4 months ago
2010
ACM
The Walking-In-Place interaction technique was introduced to navigate infinitely in 3D virtual worlds by walking in place in the real world. The technique has been initially devel...
204
click to vote
VRST
2010
ACM
15 years 4 months ago
2010
ACM
This paper introduces a region-of-interest visual hull refinement technique, based on flexible voxel grids for volumetric visual hull reconstructions. Region-of-interest refinemen...
198
click to vote
AND
2009
15 years 4 months ago
2009
A web-portal providing access to over 250.000 scanned and OCRed cultural heritage documents is analyzed. The collection consists of the complete Dutch Hansard from 1917 to 1995. E...