3435 search results - page 340 / 687 » Aspect Model Unweaving |
165
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...
156
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
This article deals with some stochastic population protocols, motivated by theoretical aspects of distributed computing. We modelize the problem by a large urn of black and white ...
177
click to vote
TCS
2011
15 years 1 months ago
2011
We propose a formal definition of Wolfram’s notion of computational process based on iterated transducers together with a weak observer, a model of computation that captures so...
165
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In image-based light field rendering, many efforts have been made to improve the efficiency of the modeling. This efficiency pertains to the photorealism and compression of a give...
246
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Skin color is an important feature of faces. Various applications benefit from robust skin color detection. Depending on camera settings, illumination, shadows, people's tans...