3281 search results - page 10 / 657 » Bases for parametrized iterativity |
88
Voted
PROPERTYTESTING
2010
14 years 7 months ago
2010
We survey here property testing results for the so called 'massively parametrized' model (or problems). This paper is based on a survey talk gave at the workshop on prop...
AMC
2008
14 years 9 months ago
2008
In this paper, two one-parameter families of irrational and rational iterative methods for solving nonlinear equations are constructed. The construction of the iterative process i...
ICIP
2001
IEEE
15 years 11 months ago
2001
IEEE
This paper presents a motion estimation and segmentation algorithm based on multiple parametric model estimation that determines the a priori unknown number of motion models prese...
ENTCS
2006
14 years 9 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
91
Voted
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
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...