Sciweavers

2038 search results - page 254 / 408
» Improvements to the Psi-SSA representation
Sort
View
DAC
2004
ACM
16 years 2 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
KDD
2009
ACM
243views Data Mining» more  KDD 2009»
16 years 1 months ago
Exploiting Wikipedia as external knowledge for document clustering
In traditional text clustering methods, documents are represented as "bags of words" without considering the semantic information of each document. For instance, if two ...
Xiaohua Hu, Xiaodan Zhang, Caimei Lu, E. K. Park, ...
SIGMOD
2008
ACM
131views Database» more  SIGMOD 2008»
16 years 1 months ago
Discovering topical structures of databases
The increasing complexity of enterprise databases and the prevalent lack of documentation incur significant cost in both understanding and integrating the databases. Existing solu...
Wensheng Wu, Berthold Reinwald, Yannis Sismanis, R...
WMPI
2004
ACM
15 years 6 months ago
The Opie compiler from row-major source to Morton-ordered matrices
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...
Steven T. Gabriel, David S. Wise
ICCV
2009
IEEE
16 years 6 months ago
Segmentation and Shading Estimation in Slowly Changing Textured Images
We present a novel representation for modeling textured regions subject to smooth variations in orientation and scale. Utilizing the steerable pyramid of Simoncelli and Freeman ...
Jason Chang, John W. Fisher III