Sciweavers

18016 search results - page 3170 / 3604
» Data Mining - Concepts and Techniques
Sort
View
MICCAI
2007
Springer
16 years 1 months ago
Fast and Robust Analysis of Dynamic Contrast Enhanced MRI Datasets
Abstract. A fully automated method for quantitative analysis of dynamic contrast-enhanced MRI data acquired with low and high field scanners, using spin echo and gradient echo seq...
Olga Kubassova, Mikael Boesen, Roger D. Boyle, Mar...
MODELS
2007
Springer
16 years 1 months ago
Model Driven Development of Complex User Interface
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
Xudong Lu, Jiancheng Wan
PAM
2007
Springer
16 years 1 months ago
Measures of Self-similarity of BGP Updates and Implications for Securing BGP
Abstract. Techniques for authenticating BGP protocol objects entail the inspection of additional information in the form of authentication credentials that can be used to validate ...
Geoff Huston
PKC
2007
Springer
125views Cryptology» more  PKC 2007»
16 years 1 months ago
Multiparty Computation for Interval, Equality, and Comparison Without Bit-Decomposition Protocol
Damg˚ard et al. [11] showed a novel technique to convert a polynomial sharing of secret a into the sharings of the bits of a in constant rounds, which is called the bit-decomposit...
Takashi Nishide, Kazuo Ohta
PPDP
2007
Springer
16 years 1 months ago
Formalizing and verifying semantic type soundness of a simple compiler
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
Nick Benton, Uri Zarfaty
« Prev « First page 3170 / 3604 Last » Next »