3281 search results - page 10 / 657 » Bases for parametrized iterativity |
122
click to vote
PROPERTYTESTING
2010
14 years 11 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...
114
click to vote
AMC
2008
15 years 1 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
16 years 3 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...
113
click to vote
ENTCS
2006
15 years 1 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,...
128
click to vote
ISBI
2006
IEEE
16 years 2 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...