2722 search results - page 191 / 545 » The Model Evolution Calculus |
TIP
2008
13 years 8 months ago
2008
Edge-based and region-based active contours are frequently used in image segmentation. While edges characterize small neighborhoods of pixels, region descriptors characterize entir...
COMPLEXITY
2004
13 years 8 months ago
2004
: Explaining the maintenance of sexual reproduction remains one of the greatest challenges in biology. The theoretical oddity of sex is based on at least three advantages that asex...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
CSL
2007
Springer
14 years 2 months ago
2007
Springer
Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising fr...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
Maternal influence on offspring goes beyond strict nuclear (DNA) inheritance: inherited maternal mRNA, mitochondria, caring and nurturing are all additional sources that affect...