Sciweavers

1261 search results - page 129 / 253
» Region growing: a new approach
Sort
View
CAV
1998
Springer
98views Hardware» more  CAV 1998»
15 years 10 months ago
Verification of Timed Systems Using POSETs
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
Wendy Belluomini, Chris J. Myers
BMCBI
2005
97views more  BMCBI 2005»
15 years 6 months ago
Clustering the annotation space of proteins
Background: Current protein clustering methods rely on either sequence or functional similarities between proteins, thereby limiting inferences to one of these areas. Results: Her...
Victor Kunin, Christos A. Ouzounis
WSDM
2012
ACM
283views Data Mining» more  WSDM 2012»
14 years 1 months ago
The life and death of online groups: predicting group growth and longevity
We pose a fundamental question in understanding how to identify and design successful communities: What factors predict whether a community will grow and survive in the long term?...
Sanjay Ram Kairam, Dan J. Wang, Jure Leskovec
ICIP
2006
IEEE
16 years 8 months ago
Selective Encryption of Human Skin in JPEG Images
In this study we propose a new approach for selective encryption in the Huffman coding of the Discrete Cosine Transform (DCT) coefficients using the Advanced Encryption Standard (...
Adrian G. Bors, José M. Rodrigues, William ...
ICIP
2002
IEEE
16 years 8 months ago
Efficient selection of image patches with high motion confidence
Motion confidence measures aim to identify how well an image patch determines image motion. These kinds of confidence measures are commonly used to select points for optical flow ...
Peter Sand, Leonard McMillan