30 search results - page 5 / 6 » Local Confluence for Rules with Nested Application Condition... |
SIBGRAPI
2006
IEEE
13 years 11 months ago
2006
IEEE
Scale dependent signal representations have proved to be useful in several image processing applications. In this paper, we define a toggle operator for binarization/segmentation...
PARLE
1993
13 years 9 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
TLCA
2005
Springer
13 years 11 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
CAD
2004
Springer
13 years 5 months ago
2004
Springer
In this paper, we study the problem of constructing a family of surfaces from a given spatial geodesic curve. We derive a parametric representation for a surface pencil whose memb...
ICCV
2005
IEEE
14 years 7 months ago
2005
IEEE
This paper tackles an important aspect of the variational problems involving active contours, which has been largely overlooked so far: the optimization by gradient flows. Classic...