134 search results - page 23 / 27 » Finiteness Conditions for Strictness Analysis |
97
Voted
FOCM
2002
14 years 11 months ago
2002
This paper is concerned with the design and analysis of adaptive wavelet methods for systems of operator equations. Its main accomplishment is to extend the range of applicability...
93
Voted
ENTCS
2006
14 years 11 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
The classical problem of reliable point-to-point digital communication is to achieve a low probability of error while keeping the rate high and the total power consumption small. ...
108
Voted
SIAMCO
2008
14 years 11 months ago
2008
The aim of this paper is to adapt the Viability Theorem from differential inclusions (governing the evolution of vectors in a finite dimensional space) to so-called morphological i...
80
Voted
UC
2009
Springer
15 years 6 months ago
2009
Springer
In this note we investigate the problem of computing the domain of attraction of a flow on R2 for a given attractor. We consider an operator that takes two inputs, the description...