Sciweavers

4488 search results - page 165 / 898
» Properties of NP-Complete Sets
Sort
View
166
Voted
ACRI
2008
Springer
16 years 4 days ago
Examples of Fast and Slow Convergence of 2D Asynchronous Cellular Systems
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...
Nazim Fatès, Lucas Gerin
VLDB
2005
ACM
140views Database» more  VLDB 2005»
15 years 11 months ago
OLAP Over Uncertain and Imprecise Data
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...
Douglas Burdick, Prasad Deshpande, T. S. Jayram, R...
DAC
2003
ACM
15 years 11 months ago
Dos and don'ts of CTL state coverage estimation
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...
Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi
127
Voted
DGCI
2000
Springer
15 years 10 months ago
A New Means for Investigating 3-Manifolds
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...
Vladimir Kovalevsky
AISC
2006
Springer
15 years 9 months ago
A New Definition for Passivity and Its Relation to Coherence
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 ...
Moritz Minzlaff, Jacques Calmet