1805 search results - page 186 / 361 » A Theory of Closure Operators |
156
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
This work presents a stratification approach for modeling two-dimensional cell complexes. It introduces the concept of combinatorial stratification and uses the Handlebody theory ...
157
click to vote
ENTCS
2002
15 years 6 months ago
2002
The uniformity principle for traced monoidal categories has been introduced as a natural generalization of the uniformity principle (Plotkin's principle) for fixpoint operato...
184
click to vote
ENTCS
2002
15 years 6 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
197
click to vote
SIAMAM
2002
15 years 6 months ago
2002
A new morphological multiscale method in 3D image processing is presented which combines the image processing methodology based on nonlinear diffusion equations and the theory of g...
137
click to vote
JGO
2010
15 years 5 months ago
2010
We consider an optimal control where the state-control relation is given by a quasi-variational inequality, namely a generalized obstacle problem. We give an existence result for s...