The behavior of Catmull-Rom curves heavily depends on the choice of parameter values at the control points. We analyze a class of parameterizations ranging from uniform to chordal...
Background: The mechanisms underlying protein function and associated conformational change are dominated by a series of local entropy fluctuations affecting the global structure ...
Important anatomical features on the cortical surface are usually represented by landmark curves, called sulcal/gyral curves. Manual labeling of these landmark curves is time-cons...
Lok Ming Lui, Yalin Wang, Tony F. Chan, Paul M. Th...
We present a dynamic inference algorithm in a globally parameterized nonlinear manifold and demonstrate it on the problem of visual tracking. An appearance manifold is usually non...
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...