Sciweavers

9659 search results - page 1637 / 1932
» Points on Computable Curves
Sort
View
168
Voted
CCS
2005
ACM
16 years 9 days ago
A modular correctness proof of IEEE 802.11i and TLS
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
Changhua He, Mukund Sundararajan, Anupam Datta, An...
CIS
2005
Springer
16 years 9 days ago
A Novel Multi-stage 3D Medical Image Segmentation: Methodology and Validation
Abstract. In this paper, we present a novel multi-stage algorithm for 3D medical image segmentation that is inspired by an improved Fast Marching method and a morphological reconst...
Jianfeng Xu, Lixu Gu, Xiahai Zhuang, Terry M. Pete...
CTRSA
2005
Springer
79views Cryptology» more  CTRSA 2005»
16 years 9 days ago
Malicious Cryptography: Kleptographic Aspects
Abstract. In the last few years we have concentrated our research efforts on new threats to the computing infrastructure that are the result of combining malicious software (malwar...
Adam Young, Moti Yung
DAGM
2005
Springer
16 years 9 days ago
A Novel Parameter Decomposition Approach to Faithful Fitting of Quadric Surfaces
This paper addresses a common problem in dealing with range images. We propose a novel method to fit surfaces of known types via a parameter decomposition approach. This approach ...
Xiaoyi Jiang, Da-Chuan Cheng
ESOP
2005
Springer
16 years 9 days ago
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
Michael Leuschel, Germán Vidal
« Prev « First page 1637 / 1932 Last » Next »