Sciweavers

441 search results - page 58 / 89
» A Method for Proving Observational Equivalence
Sort
View
PR
2008
85views more  PR 2008»
13 years 8 months ago
Quadratic boosting
This paper presents a strategy to improve the AdaBoost algorithm with a quadratic combination of base classifiers. We observe that learning this combination is necessary to get be...
Thang V. Pham, Arnold W. M. Smeulders
TIP
2008
98views more  TIP 2008»
13 years 8 months ago
Image Interpolation by Adaptive 2-D Autoregressive Modeling and Soft-Decision Estimation
The challenge of image interpolation is to preserve spatial details. We propose a soft-decision interpolation technique that estimates missing pixels in groups rather than one at a...
Xiangjun Zhang, Xiaolin Wu
TMI
2008
122views more  TMI 2008»
13 years 8 months ago
The Elliptical Cone of Uncertainty and Its Normalized Measures in Diffusion Tensor Imaging
Diffusion tensor magnetic resonance imaging (DT-MRI) is capable of providing quantitative insights into tissue microstructure in the brain. An important piece of information offere...
Cheng Guan Koay, U. Nevo, Lin-Ching Chang, Carlo P...
TSC
2008
140views more  TSC 2008»
13 years 8 months ago
Dynamic Web Service Selection for Reliable Web Service Composition
This paper studies the dynamic Web service selection problem in a failure-prone environment, which aims to determine a subset of Web services to be invoked at runtime so as to succ...
San-Yih Hwang, Ee-Peng Lim, Chien-Hsiang Lee, Chen...
WOTE
2010
13 years 6 months ago
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
Stéphanie Delaune, Steve Kremer, Mark Ryan