Sciweavers

2205 search results - page 287 / 441
» Mutation Operators for Specifications
Sort
View
ICML
2007
IEEE
16 years 4 months ago
Regression on manifolds using kernel dimension reduction
We study the problem of discovering a manifold that best preserves information relevant to a nonlinear regression. Solving this problem involves extending and uniting two threads ...
Jens Nilsson, Fei Sha, Michael I. Jordan
ICSE
2008
IEEE-ACM
16 years 4 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
ISBI
2002
IEEE
16 years 4 months ago
Quantitative 3D CT bronchography
In the framework of computer-aided diagnosis, this paper proposes a novel functionality for computerized tomography (CT)based investigation of pulmonary airways. It provides a spe...
Catalin I. Fetita, Françoise J. Prête...
ISBI
2004
IEEE
16 years 4 months ago
EEG Cortical Imaging: A Vector Field Approach for Laplacian Denoising and Missing Data Estimation
The surface Laplacian is known to be a theoretical reliable approximation of the cortical activity. Unfortunately, because of its high pass character and the relative low density ...
Teodor Alecu, Sviatoslav Voloshynovskiy, Thierry P...
WWW
2005
ACM
16 years 4 months ago
XJ: facilitating XML processing in Java
The increased importance of XML as a data representation format has led to several proposals for facilitating the development of applications that operate on XML data. These propo...
Matthew Harren, Mukund Raghavachari, Oded Shmueli,...