Sciweavers

1585 search results - page 315 / 317
» A framework for computer-aided validation
Sort
View
NDJFL
2010
13 years 3 months ago
Polyadic Quantification via Denoting Concepts
The question of the origin of polyadic expressivity is explored and the results are brought to bear on Bertrand Russell's 1903 theory of denoting concepts, which is the main o...
Ori Simchen
PRL
2010
149views more  PRL 2010»
13 years 3 months ago
Adaptive linear models for regression: Improving prediction when population has changed
The general setting of regression analysis is to identify a relationship between a response variable Y and one or several explanatory variables X by using a learning sample. In a ...
Charles Bouveyron, Julien Jacques
TMI
2010
175views more  TMI 2010»
13 years 3 months ago
Spatially Adaptive Mixture Modeling for Analysis of fMRI Time Series
Within-subject analysis in fMRI essentially addresses two problems, the detection of brain regions eliciting evoked activity and the estimation of the underlying dynamics. In [1, 2...
Thomas Vincent, Laurent Risser, Philippe Ciuciu
MICCAI
2009
Springer
14 years 2 months ago
Optical Biopsy Mapping for Minimally Invasive Cancer Screening.
The quest for providing tissue characterization and functional mapping during minimally invasive surgery (MIS) has motivated the development of new surgical tools that extend the...
Peter Mountney, Stamatia Giannarou, Daniel Elson...
CVPR
2011
IEEE
13 years 9 days ago
Registration of Camera Captured Documents Under Non-rigid Deformation
Document registration is a problem where the image of a template document whose layout is known is registered with a test document image. Given the registration parameters, layout...
Venkata Edupuganti, Suryaprakash Kompalli, Vinayak...