1982 search results - page 122 / 397 » Parametricity and dependent types |
165
click to vote
JMIV
2006
15 years 6 months ago
2006
Vector field segmentation methods usually belong to either of three classes: methods which segment regions homogeneous in direction and/or norm, methods which detect discontinuiti...
152
click to vote
FSTTCS
1993
Springer
15 years 10 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
206
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
181
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Many interactive image segmentation approaches use an objective function which includes appearance models as an unknown variable. Since the resulting optimization problem is NP-har...
180
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
We present an improved statistical model of Poisson processes, with applications in photon-limited imaging. We build on previous work, adopting a multiscale representation of the ...