1982 search results - page 100 / 397 » Parametricity and dependent types |
146
click to vote
SSD
2001
Springer
15 years 9 months ago
2001
Springer
In dynamic spatio-temporal environments where objects may continuously move in space, maintaining consistent information about the location of objects and processing motion-speciï¬...
124
Voted
CORR
2002
Springer
15 years 4 months ago
2002
Springer
We provide the first classification of different types of Random Boolean Networks (RBNs). We study the differences of RBNs depending on the degree of synchronicity and determinism...
158
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
Geometric active contours are formulated in a manner which is parametrization independent. As such, they are amenable to representation as the zero level set of the graph of a hig...
167
click to vote
ICCV
2005
IEEE
16 years 6 months ago
2005
IEEE
We propose a novel approach for shape-based segmentation based on a specially designed level set function format. This format permits us to better control the process of object re...
150
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
Traditional snakes, or active contours, are planar parametric curves. Their parameters are determined by optimizing the weighted sum of three energy terms: one depending on the dat...