1638 search results - page 41 / 328 » Properties of input-consuming derivations |
CCS
2003
ACM
15 years 3 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
COMPLEX
2009
Springer
15 years 1 months ago
2009
Springer
Allometric scaling is an important universal property of metabolic living systems. It also describes the self-similar branching treeliked structures in transportation networks. Thi...
DAGSTUHL
1994
14 years 11 months ago
1994
In this article, we present how it is possible to recover physical parameters of objects such as reflectivity, emissivity and thermal inertia from the analysis of infrared images ...
GECCO
2008
Springer
14 years 11 months ago
2008
Springer
There are several studies on the desirable properties that a performance measure for evolutionary multiobjective algorithms must have. One of these properties is called “compati...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
In this paper, we first introduce the concept of elementary linear subspace, which has similar properties to those of a set of coordinates. Using this new concept, we derive proper...