Sciweavers

1140 search results - page 41 / 228
» Progress on Certifying Algorithms
Sort
View
EUROPKI
2004
Springer
14 years 4 months ago
Trustworthy Accounting for Wireless LAN Sharing Communities
Abstract. The Peer-to-Peer Wireless Network Confederation (P2PWNC) is designed to be an open self-organizing Wireless LAN (WLAN) roaming association where users from one WLAN can a...
Elias C. Efstathiou, George C. Polyzos
CBMS
2003
IEEE
14 years 4 months ago
Localizing Contour Points for Indexing an X-Ray Image Retrieval System
Vertebra shape can effectively describe various pathologies found in spine x-ray images. There are some critical regions on the shape contour which help determine whether the shap...
Xiaoqian Xu, D. J. Lee, Sameer Antani, L. Rodney L...
DAC
2012
ACM
12 years 1 months ago
Equivalence checking for behaviorally synthesized pipelines
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
Kecheng Hao, Sandip Ray, Fei Xie
TCSV
2002
67views more  TCSV 2002»
13 years 10 months ago
A new compression scheme for color-quantized images
An efficient compression scheme for color-quantized images based on progressive coding of color information has been developed. Instead of sorting color indexes into a linear list ...
Xin Chen, Sam Kwong, Ju-fu Feng
BMCBI
2008
134views more  BMCBI 2008»
13 years 11 months ago
Stability analysis of mixtures of mutagenetic trees
Background: Mixture models of mutagenetic trees are evolutionary models that capture several pathways of ordered accumulation of genetic events observed in different subsets of pa...
Jasmina Bogojeska, Thomas Lengauer, Jörg Rahn...