Sciweavers

3946 search results - page 434 / 790
» The computational complexity of choice sets
Sort
View
SG
2005
Springer
16 years 11 days ago
Virtual Camera Planning: A Survey
Modelling, animation and rendering has dominated research computer graphics yielding increasingly rich and realistic virtual worlds. The complexity, richness and quality of the vir...
Marc Christie, Rumesh Machap, Jean-Marie Normand, ...
VLDB
2005
ACM
114views Database» more  VLDB 2005»
16 years 11 days ago
Checking for k-Anonymity Violation by Views
When a private relational table is published using views, secrecy or privacy may be violated. This paper uses a formally-defined notion of k-anonymity to measure disclosure by vi...
Chao Yao, Xiaoyang Sean Wang, Sushil Jajodia
EDCC
2005
Springer
16 years 10 days ago
A Data Mining Approach to Identify Key Factors in Dependability Experiments
Abstract. Our paper presents a novel approach for identifying the key infrastructural factors determining the behavior of systems in the presence of faults by the application of in...
Gergely Pintér, Henrique Madeira, Marco Vie...
CAV
2004
Springer
96views Hardware» more  CAV 2004»
16 years 8 days ago
Widening Arithmetic Automata
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
Constantinos Bartzis, Tevfik Bultan
DIS
2004
Springer
16 years 8 days ago
Tiling Databases
Abstract. In this paper, we consider 0/1 databases and provide an alternative way of extracting knowledge from such databases using tiles. A tile is a region in the database consis...
Floris Geerts, Bart Goethals, Taneli Mielikäi...