993 search results - page 47 / 199 » Set Constraints on Regular Terms |
SACMAT
2006
ACM
14 years 2 months ago
2006
ACM
Separation of Duty (SoD) is widely recognized to be a fundamental principle in computer security. A Static SoD (SSoD) policy states that in order to have all permissions necessary...
SCALESPACE
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
This paper describes a new method for fuzzy segmentation based on spatial constraints. Taking into account the neighborhood influence two techniques are used. First a new feature ...
MCS
2008
Springer
13 years 8 months ago
2008
Springer
We investigate optimal control problems subject to mixed control-state constraints. The necessary conditions are stated in terms of a local minimum principle. By use of the Fischer...
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...