Sciweavers

2583 search results - page 198 / 517
» On the Representation of Timed Polyhedra
Sort
View
EDBT
2006
ACM
190views Database» more  EDBT 2006»
16 years 6 months ago
Fast Approximate Wavelet Tracking on Streams
Recent years have seen growing interest in effective algorithms for summarizing and querying massive, high-speed data streams. Randomized sketch synopses provide accurate approxima...
Graham Cormode, Minos N. Garofalakis, Dimitris Sac...
DAC
2004
ACM
16 years 7 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 7 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, ...
CVPR
2009
IEEE
16 years 1 months ago
Contextual decomposition of multi-label images
Most research on image decomposition, e.g. image segmentation and image parsing, has predominantly focused on the low-level visual clues within single image and neglected the cont...
Teng Li, Tao Mei, Shuicheng Yan, In-So Kweon, Chil...
MICCAI
2001
Springer
15 years 11 months ago
Shape versus Size: Improved Understanding of the Morphology of Brain Structures
Standard practice in quantitative structural neuroimaging is a segmentation into brain tissue, subcortical structures, fluid space and lesions followed by volume calculations of gr...
Guido Gerig, Martin Styner, Martha Elizabeth Shent...