4488 search results - page 165 / 898 » Properties of NP-Complete Sets |
ACRI
2008
Springer
14 years 2 months ago
2008
Springer
This article studies the convergence properties of some 2D cellular automata, when a single cell is updated at random at each time step. We tackle this question for a particular s...
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
We extend the OLAP data model to represent data ambiguity, specifically imprecision and uncertainty, and introduce an allocation-based approach to the semantics of aggregation qu...
DAC
2003
ACM
14 years 1 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
DGCI
2000
Springer
14 years 18 days ago
2000
Springer
The paper presents a new method of investigating topological properties of three-dimensional manifolds by means of computers. Manifolds are represented as finite cell complexes. Th...
AISC
2006
Springer
14 years 10 hour ago
2006
Springer
It is an essential step in decomposition algorithms for radical differential ideals to satisfy the so-called Rosenfeld property. Basically all approaches to achieve this step are ...