Sciweavers

2312 search results - page 74 / 463
» Invariance in Property Testing
Sort
View
TMI
2011
130views more  TMI 2011»
14 years 10 months ago
Parameterization-Invariant Shape Comparisons of Anatomical Surfaces
—We consider 3D brain structures as continuous parameterized surfaces and present a metric for their comparisons that is invariant to the way they are parameterized. Past compari...
Sebastian Kurtek, Eric Klassen, Zhaohua Ding, Sand...
KBSE
2010
IEEE
15 years 2 months ago
A bounded statistical approach for model checking of unbounded until properties
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
Ru He, Paul Jennings, Samik Basu, Arka P. Ghosh, H...
NIME
2005
Springer
119views Music» more  NIME 2005»
15 years 9 months ago
REMUPP - An Interactive Tool for Investigating Musical Properties and Relations
A typical experiment design within the field of music psychology is playing music to a test subject who listens and reacts – most often by verbal means. One limitation of this k...
Johnny Wingstedt, Mats Liljedahl, Stefan Lindberg,...
3DIM
2003
IEEE
15 years 9 months ago
Calibration of a Zooming Camera using the Normalized Image of the Absolute Conic
We present a novel technique for calibrating a zooming camera based on the invariance properties of the Normalized Image of the Absolute Conic (NIAC). First, we show that the came...
Jean-Yves Guillemaut, Alberto S. Aguado, John Illi...
ISBI
2008
IEEE
16 years 4 months ago
Invariant 3D spharm features for characterizing fMRI activations in ROIs while minimizing effects of intersubject anatomical var
Spatial patterns of activation statistics within anatomically-defined regions of interest (ROIs) in functional magnetic resonance imaging (fMRI) data were recently shown to be sen...
Ashish Uthama, Rafeef Abugharbieh, Samantha J. Pal...