621 search results - page 56 / 125 » Functional and structural properties in the Model-Driven Eng... |
FSS
2010
14 years 10 months ago
2010
The paper investigates fuzzy relations on a finite domain in the cutworthy framework, dealing with a new property coming from the information theory. If the domain of a relation i...
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper a probabilistic technique for compensation of intensity loss in the confocal microscopy images is presented. Confocal microscopy images are modeled as a mixture of t...
113
click to vote
DOCENG
2010
ACM
14 years 9 months ago
2010
ACM
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...
102
click to vote
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
TASE
2008
IEEE
14 years 11 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...