Sciweavers

1932 search results - page 292 / 387
» Self-organizing context learning
Sort
View
IFM
2009
Springer
124views Formal Methods» more  IFM 2009»
15 years 10 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
15 years 10 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...
121
Voted
SCALESPACE
2009
Springer
15 years 10 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...
115
Voted
ICASSP
2008
IEEE
15 years 10 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...
116
Voted
SMC
2007
IEEE
130views Control Systems» more  SMC 2007»
15 years 10 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...