Sciweavers

1140 search results - page 41 / 228
» Progress on Certifying Algorithms
Sort
View
102
Voted
EUROPKI
2004
Springer
15 years 6 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
15 years 5 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...
320
Voted
DAC
2012
ACM
13 years 2 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
99
Voted
TCSV
2002
67views more  TCSV 2002»
15 years 5 days 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
84
Voted
BMCBI
2008
134views more  BMCBI 2008»
15 years 19 days 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...