Sciweavers

1807 search results - page 269 / 362
» Backdoors in the Context of Learning
Sort
View
IFM
2009
Springer
124views Formal Methods» more  IFM 2009»
14 years 4 months ago
Dynamic Path Reduction for Software Model Checking
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiao...
MLDM
2009
Springer
14 years 4 months ago
Drift-Aware Ensemble Regression
Abstract. Regression models are often required for controlling production processes by predicting parameter values. However, the implicit assumption of standard regression techniqu...
Frank Rosenthal, Peter Benjamin Volk, Martin Hahma...
SCALESPACE
2009
Springer
14 years 4 months ago
Pre-image as Karcher Mean Using Diffusion Maps: Application to Shape and Image Denoising
In the context of shape and image modeling by manifold learning, we focus on the problem of denoising. A set of shapes or images being known through given samples, we capture its s...
Nicolas Thorstensen, Florent Ségonne, Renau...
ICASSP
2008
IEEE
14 years 4 months ago
Contextually adaptive signal representation using conditional principal component analysis
The conventional method of generating a basis that is optimally adapted (in MSE) for representation of an ensemble of signals is Principal Component Analysis (PCA). A more ambitio...
Rosa M. Figueras i Ventura, Umesh Rajashekar, Zhou...
SMC
2007
IEEE
130views Control Systems» more  SMC 2007»
14 years 4 months ago
Simulation framework for training chest tube insertion using virtual reality and force feedback
—Most virtual reality simulators are designed for complex medical procedures, such as laparoscopic surgery. While important, these simulators are of use for only a subset of spec...
Nader S. Raja, John A. Schleser, William P. Norman...