3778 search results - page 17 / 756 » Erdos-Ko-Rado for three sets |
CONCUR
2004
Springer
14 years 4 days ago
2004
Springer
In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...
AML
2011
13 years 1 months ago
2011
In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B ⊆ 2ω is a Gδσ-set then either...
COORDINATION
2005
Springer
14 years 8 days ago
2005
Springer
Abstract. A simple and effective way of coordinating distributed, mobile, and parallel applications is to use a virtual shared memory (VSM), such as a Linda tuple-space. In this p...
VIS
2004
IEEE
14 years 8 months ago
2004
IEEE
We present a novel method to encode four data channels in a volumetric data set, and render it at interactive frame rates with maximum intensity projection (MIP) using textured po...
ICDM
2006
IEEE
14 years 23 days ago
2006
IEEE
One of the major problems in frequent pattern mining is the explosion of the number of results, making it difficult to identify the interesting frequent patterns. In a recent pap...