Sciweavers

72 search results - page 15 / 15
» SemGrAM - Integrating Semantic Graphs into Association Rule ...
Sort
View
VLDB
2004
ACM
163views Database» more  VLDB 2004»
13 years 10 months ago
Compressing Large Boolean Matrices using Reordering Techniques
Large boolean matrices are a basic representational unit in a variety of applications, with some notable examples being interactive visualization systems, mining large graph struc...
David S. Johnson, Shankar Krishnan, Jatin Chhugani...
POPL
2010
ACM
14 years 2 months ago
Continuity Analysis of Programs
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerm...